# HG changeset patch
# User wenzelm
# Date 1329853438 -3600
# Node ID 8d32138811cb7f386cb8c1420e737b38a6c52bfd
# Parent  1bc7e91a5c7794fb6a268794db0f2cff0162316a
made SML/NJ happy;

diff -r 1bc7e91a5c77 -r 8d32138811cb src/HOL/Tools/Quickcheck/quickcheck_common.ML
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Tue Feb 21 17:09:53 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Tue Feb 21 20:43:58 2012 +0100
@@ -286,7 +286,7 @@
   type T = (term * string) list
   val empty = []
   val extend = I
-  val merge = AList.merge (op =) (K true)
+  fun merge data : T = AList.merge (op =) (K true) data
 )
 
 val register_predicate = Subtype_Predicates.map o AList.update (op =)