diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
index 5ec762556cc0d830b7322213b3a76e5314547de9..048996cb2fbeabd91fc9906dbc6c4a73f77a1a45 100644
--- a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
+++ b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
@@ -1780,11 +1780,7 @@ int main(int argc, char *argv[]) {
         return - 1;
     }
 
-    bool isDebug = (argc>=5 && std::string("true").compare(argv[4])) ? true : false;
-    
-    if (isDebug) {
-      cout \<\< "Model checking with B2Program."  \<\< endl;
-    }
+    bool isDebug = (argc>=5 && std::string("true").compare(argv[4])==0) ? true : false;
 
     ModelChecker modelchecker(type, threads, isCaching, isDebug);
     modelchecker.modelCheck();