# HG changeset patch
# User wenzelm
# Date 968255917 -7200
# Node ID b145613939c1e0605189eadf9a0a05dc6c02d0a6
# Parent  b2a62260f8ace45169b5f0ef23ef02a642bb9ce8
fixed structure U;

diff -r b2a62260f8ac -r b145613939c1 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};