src/HOL/Tools/res_clause.ML

--- a/src/HOL/Tools/res_clause.ML	Wed Nov 02 14:46:47 2005 +0100
+++ b/src/HOL/Tools/res_clause.ML	Wed Nov 02 14:46:49 2005 +0100
@@ -290,7 +290,7 @@
 
 (*Initialize the type suppression mechanism with the current theory before
     producing any clauses!*)
-fun init thy = (monomorphic := Sign.monomorphic thy);
+fun init thy = (monomorphic := Sign.const_monomorphic thy);
     
 
 (*Flatten a type to a string while accumulating sort constraints on the TFress and