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.
made smlnj happy
authorbulwahn
Tue, 02 Mar 2010 22:13:39 +0100
changeset 35538 94170181a842
parent 35537 59dd6be5834c
child 35539 67879e5d695c
made smlnj happy
src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML	Tue Mar 02 22:13:33 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML	Tue Mar 02 22:13:39 2010 +0100
@@ -39,7 +39,7 @@
 
 val function_flattening = Unsynchronized.ref true;
 
-val no_higher_order_predicate = Unsynchronized.ref [];
+val no_higher_order_predicate = Unsynchronized.ref ([] : string list);
 
 val options = Options {
   expected_modes = NONE,
isabelle