# HG changeset patch
# User bulwahn
# Date 1267564419 -3600
# Node ID 94170181a842f21de0eac1942744cd9b363b7d5f
# Parent  59dd6be5834ce83b4efb39c34f9c4c4508e9511c
made smlnj happy

diff -r 59dd6be5834c -r 94170181a842 src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML
--- 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,