From 5125ee4e855be317080c537de2dabf80c0ac8823 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sun, 23 Nov 2025 13:49:37 -0800 Subject: [PATCH] SMV: use module base name in parse tree output The smv:: prefix does not add information, hence it is removed. --- src/smvlang/smv_parse_tree.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smvlang/smv_parse_tree.cpp b/src/smvlang/smv_parse_tree.cpp index 6b323d75a..4e0a3cb22 100644 --- a/src/smvlang/smv_parse_tree.cpp +++ b/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";