Index: src/IceCfg.cpp |
diff --git a/src/IceCfg.cpp b/src/IceCfg.cpp |
index 3211c30a00d756e1f86259a92359bfb0a93df85a..9bc1ba58333d6ef000a824c67ac59fd2ad4192de 100644 |
--- a/src/IceCfg.cpp |
+++ b/src/IceCfg.cpp |
@@ -181,6 +181,8 @@ void Cfg::translate() { |
FunctionTimer.reset(new TimerMarker( |
getContext()->getTimerID(GlobalContext::TSK_Funcs, Name), |
getContext(), GlobalContext::TSK_Funcs)); |
+ if (isVerbose(IceV_Status)) |
+ getContext()->getStrDump() << ">>>Translating " << Name << "\n"; |
} |
TimerMarker T(TimerStack::TT_translate, this); |