src/Pure/pattern.ML

--- a/src/Pure/pattern.ML	Fri Feb 16 12:19:47 1996 +0100
+++ b/src/Pure/pattern.ML	Fri Feb 16 12:34:18 1996 +0100
@@ -13,7 +13,7 @@
 *)
 
 signature PATTERN =
-sig
+  sig
   type type_sig
   type sg
   type env
@@ -25,13 +25,11 @@
   exception Unif
   exception MATCH
   exception Pattern
-end;
+  end;
 
-functor PatternFun(structure Sign:SIGN and Envir:ENVIR): PATTERN =
+structure Pattern : PATTERN =
 struct
 
-structure Type = Sign.Type;
-
 type type_sig = Type.type_sig
 type sg = Sign.sg
 type env = Envir.env