src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy

--- a/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy	Sun Mar 23 16:40:35 2014 +0100
+++ b/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy	Mon Mar 24 12:00:17 2014 +0100
@@ -11,9 +11,9 @@
 imports TPTP_Test TPTP_Proof_Reconstruction
 begin
 
+declare [[exception_trace]]
 ML {*
 print_depth 200;
-Toplevel.debug := true;
 PolyML.Compiler.maxInlineSize := 0;
 (* FIXME doesn't work with Isabelle?
    PolyML.Compiler.debug := true *)