From 9070e3debdf3f01b70feea4f666fa0eee39125fa Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 25 May 2017 13:28:38 +0100 Subject: [PATCH] message beautification --- src/hw-cbmc/hw_bmc.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hw-cbmc/hw_bmc.cpp b/src/hw-cbmc/hw_bmc.cpp index 32572a3d1..008df8188 100644 --- 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(