diff -r 4570584fbda9 -r a23dc0b7566f TFL/tfl.ML
--- a/TFL/tfl.ML	Tue Feb 19 23:49:49 2002 +0100
+++ b/TFL/tfl.ML	Wed Feb 20 00:53:53 2002 +0100
@@ -82,7 +82,7 @@
       val vname = ref "u"
       fun new() =
          if !vname mem_string (!slist)
-         then (vname := bump_string (!vname);  new())
+         then (vname := Symbol.bump_string (!vname);  new())
          else (slist := !vname :: !slist;  !vname)
   in
   fn ty => Free(new(), ty)