Merge pull request #580 from mgudemann/update_interpreter

Update interpreter

Author: peterschrammel

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -561,7 +561,7 @@ int goto_instrument_parse_optionst::doit()
     if(cmdline.isset("interpreter"))
     {
       status() << "Starting interpreter" << eom;
-      interpreter(symbol_table, goto_functions);
+      interpreter(symbol_table, goto_functions, get_message_handler());
       return 0;
     }