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.
fixed for SML/NJ
authorobua
Wed, 11 Jul 2007 11:47:13 +0200
changeset 23768 d639647a1ffd
parent 23767 7272a839ccd9
child 23769 7bc32680a495
fixed for SML/NJ
src/Tools/Compute_Oracle/linker.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Compute_Oracle/linker.ML	Wed Jul 11 11:46:44 2007 +0200
+++ b/src/Tools/Compute_Oracle/linker.ML	Wed Jul 11 11:47:13 2007 +0200
@@ -72,7 +72,7 @@
 
 structure Substtab = TableFun(type key = Type.tyenv val ord = subst_ord);
 
-val substtab_union = Substtab.fold Substtab.update
+fun substtab_union c = Substtab.fold Substtab.update c
 fun substtab_unions [] = Substtab.empty
   | substtab_unions [c] = c
   | substtab_unions (c::cs) = substtab_union c (substtab_unions cs)
isabelle