src/Pure/ProofGeneral/proof_general_pgip.ML

       | (Exn.Interrupt,SOME src) =>
         (Output.error_msg "Interrupt during PGIP processing"; loop true src)
       | (Toplevel.UNDEF,SOME src) =>
         (Output.error_msg "No working context defined"; loop true src)
       | (e,SOME src) =>
-        (Output.error_msg (Toplevel.exn_message e); loop true src)
+        (Output.error_msg (ML_Compiler.exn_message e); loop true src)
       | (PGIP_QUIT,_) => ()
       | (_,NONE) => ()
 in
   (* TODO: add socket interface *)