# HG changeset patch
# User wenzelm
# Date 758204574 -3600
# Node ID a2447b00517bc681cd123bb28060bc3219d68995
# Parent  be834b9a0c7285c69a27f57ee3a99e767b7ae930
commented out sig constraint of functor (for debugging purposes);

diff -r be834b9a0c72 -r a2447b00517b src/Pure/thm.ML
--- a/src/Pure/thm.ML	Fri Jan 07 10:59:51 1994 +0100
+++ b/src/Pure/thm.ML	Mon Jan 10 13:22:54 1994 +0100
@@ -87,7 +87,7 @@
 functor ThmFun (structure Logic: LOGIC and Unify: UNIFY and Pattern:PATTERN
                       and Net:NET
                 sharing type Pattern.type_sig = Unify.Sign.Type.type_sig)
-        : THM = 
+        (*: THM*) = (* FIXME *)
 struct
 structure Sequence = Unify.Sequence;
 structure Envir = Unify.Envir;