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 SML/NJ happy;
authorwenzelm
Tue, 21 Feb 2012 20:43:58 +0100
changeset 46580 8d32138811cb
parent 46578 1bc7e91a5c77
child 46581 1544a8703787
made SML/NJ happy;
src/HOL/Tools/Quickcheck/quickcheck_common.ML file | annotate | diff | comparison | revisions 
--- 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 =)
isabelle