# HG changeset patch
# User wenzelm
# Date 757694918 -3600
# Node ID 49497bdf573e15096e6ad744bde5a681b7c0c5cc
# Parent  feb8ff35810a693fa08594853ce765963d5470ca
commented out sig constraint of functor (for debugging purposes);

diff -r feb8ff35810a -r 49497bdf573e src/Pure/drule.ML
--- a/src/Pure/drule.ML	Tue Jan 04 10:09:33 1994 +0100
+++ b/src/Pure/drule.ML	Tue Jan 04 15:48:38 1994 +0100
@@ -71,7 +71,7 @@
   end
   end;
 
-functor DruleFun (structure Logic: LOGIC and Thm: THM) : DRULE = 
+functor DruleFun (structure Logic: LOGIC and Thm: THM)(* : DRULE *) = (* FIXME *)
 struct
 structure Thm = Thm;
 structure Sign = Thm.Sign;
diff -r feb8ff35810a -r 49497bdf573e src/Pure/logic.ML
--- a/src/Pure/logic.ML	Tue Jan 04 10:09:33 1994 +0100
+++ b/src/Pure/logic.ML	Tue Jan 04 15:48:38 1994 +0100
@@ -43,7 +43,7 @@
   val varify: term -> term  
   end;
 
-functor LogicFun (structure Unify: UNIFY and Net:NET) : LOGIC  = 
+functor LogicFun (structure Unify: UNIFY and Net:NET)(* : LOGIC *) =  (* FIXME *)
 struct
 structure Type = Unify.Sign.Type;