message beautification

diffblue · May 25, 2017 · 9070e3d · 9070e3d
1 parent 766b44e
commit 9070e3d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/hw-cbmc/hw_bmc.cpp b/src/hw-cbmc/hw_bmc.cpp
@@ -33,8 +33,8 @@ void hw_bmct::do_unwind_module()
 
   const symbolt &symbol=ns.lookup(unwind_module);
 
-  status() << "Unwinding transition system " << symbol.name
-           << " with " << unwind_no_timeframes
+  status() << "Unwinding transition system `" << symbol.name
+           << "' with " << unwind_no_timeframes
            << " time frames" << eom;
 
   ::unwind(