# HG changeset patch
# User bulwahn
# Date 1271844652 -7200
# Node ID ad558b642a152614964a07bbcb8fbced7a002092
# Parent  24f2ab79b50637eb69ad9ae6ea1ab6c144158998
switched off no_topmost_reordering

diff -r 24f2ab79b506 -r ad558b642a15 src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML	Wed Apr 21 12:10:52 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML	Wed Apr 21 12:10:52 2010 +0200
@@ -71,7 +71,7 @@
   function_flattening = true,
   fail_safe_function_flattening = false,
   no_higher_order_predicate = [],
-  no_topmost_reordering = true
+  no_topmost_reordering = false
 }
 
 val debug_options = Options {