Merge pull request diffblue#256 from diffblue/smowton/cleanup/out-of-date-comment

Remove outdated comment

Author: smowton

src/driver/sec_driver_parse_options.cpp

@@ -138,8 +138,6 @@ int sec_driver_parse_optionst::doit()
   register_languages();
   register_evs_pretty_printer();
 
-  // Prevent generation of _start, which isn't necessary for our analysis
-  // and can be costly:
   goto_model=initialize_goto_model(cmdline, get_message_handler());
 
   if(process_goto_program(options))