TFL/usyntax.sml

--- a/TFL/usyntax.sml	Wed Sep 06 13:32:25 2000 +0200
+++ b/TFL/usyntax.sml	Wed Sep 06 16:54:12 2000 +0200
@@ -8,8 +8,6 @@
 
 signature USyntax_sig =
 sig
-  structure Utils : Utils_sig
-
   datatype lambda = VAR   of {Name : string, Ty : typ}
                   | CONST of {Name : string, Ty : typ}
                   | COMB  of {Rator: term, Rand : term}
@@ -98,7 +96,6 @@
 structure USyntax : USyntax_sig =
 struct
 
-structure Utils = Utils;
 open Utils;
 
 infix 4 ##;