changeset 12902 | a23dc0b7566f |
parent 11632 | 6fc8de600f58 |
child 14217 | 9f5679e97eac |
--- 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)