--- a/TFL/tfl.sml Wed Sep 06 17:17:08 2000 +0200 +++ b/TFL/tfl.sml Wed Sep 06 17:58:37 2000 +0200 @@ -48,7 +48,7 @@ structure R = Rules; structure S = USyntax; -structure U = S.Utils; +structure U = Utils; fun TFL_ERR {func, mesg} = U.ERR {module = "Tfl", func = func, mesg = mesg};