src/Pure/symtab.ML

--- a/src/Pure/symtab.ML	Tue Nov 26 16:15:50 1996 +0100
+++ b/src/Pure/symtab.ML	Tue Nov 26 16:18:42 1996 +0100
@@ -136,7 +136,7 @@
 fun extend eq (tab, alst) =
   generic_extend (eq_pair eq) dest make tab alst;
 
-val extend_new = extend (K false);
+fun extend_new (tab, alst) = extend (K false) (tab, alst);
 
 fun merge eq (tab1, tab2) =
   generic_merge (eq_pair eq) dest make tab1 tab2;