# HG changeset patch
# User wenzelm
# Date 1462803847 -7200
#      Mon May 09 16:24:07 2016 +0200
# Node ID 2aec5467cd04c33ce7f6e52c3c0ded440713c819
# Parent  413184c7a2a270046279ca6dd9275a7bee4b763c
test

diff -r 413184c7a2a2 -r 2aec5467cd04 src/HOL/ROOT
--- a/src/HOL/ROOT	Mon May 09 14:37:47 2016 +0200
+++ b/src/HOL/ROOT	Mon May 09 16:24:07 2016 +0200
@@ -6,7 +6,6 @@
   *}
   global_theories
     Main
-    Complex_Main
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"
     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
diff -r 413184c7a2a2 -r 2aec5467cd04 src/Pure/Tools/simplifier_trace.ML
--- a/src/Pure/Tools/simplifier_trace.ML	Mon May 09 14:37:47 2016 +0200
+++ b/src/Pure/Tools/simplifier_trace.ML	Mon May 09 16:24:07 2016 +0200
@@ -307,7 +307,7 @@
     (case mk_generic_result Markup.simp_trace_recurseN text true payload ctxt of
       NONE => put 0
     | SOME res =>
-       (if depth = 1 then writeln (see_panel ()) else ();
+       (if depth = 1 then (raise Fail "FIXME"; writeln (see_panel ())) else ();
         output_result res;
         put (#1 res)))
   end