src/HOL/TPTP/TPTP_Test.thy
changeset 56303 4cc3f4db3447
parent 55595 2e2e9bc7c4c6
child 62390 842917225d56
     1.1 --- a/src/HOL/TPTP/TPTP_Test.thy	Thu Mar 27 13:00:40 2014 +0100
     1.2 +++ b/src/HOL/TPTP/TPTP_Test.thy	Thu Mar 27 17:12:40 2014 +0100
     1.3 @@ -63,7 +63,7 @@
     1.4           reraise exn
     1.5         else
     1.6           (report ctxt (msg ^ " test: file " ^ Path.print file_name ^
     1.7 -          " raised exception: " ^ ML_Compiler.exn_message exn);
     1.8 +          " raised exception: " ^ Runtime.exn_message exn);
     1.9            default_val)
    1.10      end
    1.11