diff -r b1cf34f1855c -r 470a7b233ee5 src/Provers/blast.ML
--- a/src/Provers/blast.ML	Sun Nov 01 15:24:45 2009 +0100
+++ b/src/Provers/blast.ML	Sun Nov 01 15:44:26 2009 +0100
@@ -55,7 +55,7 @@
                  swrappers: (string * wrapper) list,
                  uwrappers: (string * wrapper) list,
                  safe0_netpair: netpair, safep_netpair: netpair,
-                 haz_netpair: netpair, dup_netpair: netpair, xtra_netpair: ContextRules.netpair}
+                 haz_netpair: netpair, dup_netpair: netpair, xtra_netpair: Context_Rules.netpair}
   val cla_modifiers: Method.modifier parser list
   val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
 end;