Adding explanatory comment

smowton · Sep 13, 2017 · 2a3d876 · 2a3d876
1 parent f347a22
commit 2a3d876
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -624,6 +624,8 @@ int cbmc_parse_optionst::get_goto_program(
   try
   {
     if(initialize_goto_model(goto_model, cmdline, get_message_handler()))
+    // Remove all binaries from the command line as they
+    // are already compiled
       return 6;
 
     if(cmdline.isset("function"))