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