update interpreter

Author: Matthias Güdemann

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -539,7 +539,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;
     }