diff --git a/src/ast/ast_pp_util.cpp b/src/ast/ast_pp_util.cpp
index f953dbf0e..3021b702b 100644
--- a/src/ast/ast_pp_util.cpp
+++ b/src/ast/ast_pp_util.cpp
@@ -44,8 +44,11 @@ void ast_pp_util::display_decls(std::ostream& out) {
     }
     n = coll.get_num_decls();
     for (unsigned i = 0; i < n; ++i) {
-        ast_smt2_pp(out, coll.get_func_decls()[i], env);
-        out << "\n";
+        func_decl* f = coll.get_func_decls()[i];
+        if (f->get_family_id() == null_family_id) {
+            ast_smt2_pp(out, f, env);
+            out << "\n";
+        }
     }
 }