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.
make SML/NJ happy
authorblanchet
Tue, 28 Sep 2010 08:35:00 +0200
changeset 39748 a727e1dab162
parent 39747 b4e131840b2a
child 39749 fa94799e3a3b
child 39750 c0099428ca7b
make SML/NJ happy
src/HOL/Tools/Datatype/datatype_selectors.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Datatype/datatype_selectors.ML	Mon Sep 27 16:32:48 2010 +0200
+++ b/src/HOL/Tools/Datatype/datatype_selectors.ML	Tue Sep 28 08:35:00 2010 +0200
@@ -26,7 +26,7 @@
   type T = string Stringinttab.table
   val empty = Stringinttab.empty
   val extend = I
-  val merge = Stringinttab.merge (K true)
+  fun merge data : T = Stringinttab.merge (K true) data
 )
 
 fun pretty_term context = Syntax.pretty_term (Context.proof_of context)
isabelle