src/FOL/cladata.ML

--- a/src/FOL/cladata.ML	Mon Aug 02 17:59:25 1999 +0200
+++ b/src/FOL/cladata.ML	Mon Aug 02 18:10:26 1999 +0200
@@ -58,7 +58,8 @@
   val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Cla.claset
   val rep_cs    = Cla.rep_cs
-  val cla_method' = Cla.cla_method'
+  val cla_modifiers = Cla.cla_modifiers;
+  val cla_meth' = Cla.cla_meth'
   end;
 
 structure Blast = BlastFun(Blast_Data);