--- 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};