changeset 23768 | d639647a1ffd |
parent 23663 | 84b5c89b8b49 |
child 24137 | 8d7896398147 |
--- 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)