1.1 --- a/TFL/tfl.ML	Tue Feb 19 23:49:49 2002 +0100
     1.2 +++ b/TFL/tfl.ML	Wed Feb 20 00:53:53 2002 +0100
     1.3 @@ -82,7 +82,7 @@
     1.4        val vname = ref "u"
     1.5        fun new() =
     1.6           if !vname mem_string (!slist)
     1.7 -         then (vname := bump_string (!vname);  new())
     1.8 +         then (vname := Symbol.bump_string (!vname);  new())
     1.9           else (slist := !vname :: !slist;  !vname)
    1.10    in
    1.11    fn ty => Free(new(), ty)