src/Pure/PIDE/query_operation.ML

             let
               fun result s = Output.result [(Markup.instanceN, instance)] s;
               fun status m = result (Markup.markup_only m);
               fun output_result s = result (Markup.markup (Markup.writelnN, []) s);
               fun toplevel_error exn =
-                result (Markup.markup (Markup.errorN, []) (ML_Compiler.exn_message exn));
+                result (Markup.markup (Markup.errorN, []) (Runtime.exn_message exn));
 
               val _ = status Markup.running;
               fun run () = f {state = state, args = args, output_result = output_result};
               val _ =
                 (case Exn.capture (*sic!*) (restore_attributes run) () of