Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
switched off no_topmost_reordering
authorbulwahn
Wed, 21 Apr 2010 12:10:52 +0200
changeset 36250 ad558b642a15
parent 36249 24f2ab79b506
child 36251 5fd5d732a4ea
switched off no_topmost_reordering
src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML file | annotate | diff | comparison | revisions 
--- 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 {
isabelle