Merge pull request #1435 from diffblue/smv-parse-tree-base-name

SMV: use module base name in parse tree output

Author: tautschnig

src/smvlang/smv_parse_tree.cpp

@@ -103,7 +103,7 @@ void smv_parse_treet::show(std::ostream &out) const
   {
     auto &module = module_it.second;
 
-    out << "Module: " << module.name << std::endl << std::endl;
+    out << "Module: " << module.base_name << '\n' << '\n';
 
     out << "  PARAMETERS:\n";