diff --git a/src/smvlang/smv_parse_tree.cpp b/src/smvlang/smv_parse_tree.cpp
index 6b323d75a..5f404981f 100644
--- a/src/smvlang/smv_parse_tree.cpp
+++ b/src/smvlang/smv_parse_tree.cpp
@@ -97,6 +97,12 @@ std::string to_string(smv_parse_treet::modulet::elementt::element_typet i)
   return "";
 }
 
+void smv_parse_treet::modulet::elementt::show(std::ostream &out) const
+{
+  out << "    TYPE: " << to_string(element_type) << '\n';
+  out << "    EXPR: " << expr.pretty() << '\n';
+}
+
 void smv_parse_treet::show(std::ostream &out) const
 {
   for(auto &module_it : modules)
@@ -144,9 +150,8 @@ void smv_parse_treet::show(std::ostream &out) const
 
     for(auto &element : module.elements)
     {
-      out << "    TYPE: " << to_string(element.element_type) << '\n';
-      out << "    EXPR: " << element.expr.pretty() << '\n';
-      out << std::endl;
+      element.show(out);
+      out << '\n';
     }
   }
 }
diff --git a/src/smvlang/smv_parse_tree.h b/src/smvlang/smv_parse_tree.h
index 5dc88bcd7..ace4d4f04 100644
--- a/src/smvlang/smv_parse_tree.h
+++ b/src/smvlang/smv_parse_tree.h
@@ -150,6 +150,8 @@ class smv_parse_treet
           is_define());
         return to_equal_expr(expr);
       }
+
+      void show(std::ostream &) const;
     };
 
     typedef std::list<elementt> element_listt;