fixed structure U;
authorwenzelm
Wed, 06 Sep 2000 17:58:37 +0200
changeset 9878 b145613939c1
parent 9877 b2a62260f8ac
child 9879 a1fcaf2d080d
fixed structure U;
TFL/tfl.sml
--- 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};