src/FOL/cladata.ML

--- a/src/FOL/cladata.ML	Tue Dec 23 11:37:48 1997 +0100
+++ b/src/FOL/cladata.ML	Tue Dec 23 11:39:03 1997 +0100
@@ -54,7 +54,7 @@
   val ccontr	= ccontr
   val contr_tac = Cla.contr_tac
   val dup_intr	= Cla.dup_intr
-  val vars_gen_hyp_subst_tac = Hypsubst.vars_gen_hyp_subst_tac
+  val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Cla.claset
   val rep_claset = Cla.rep_claset
   end;