--- a/src/Provers/blast.ML Thu Dec 06 00:42:00 2001 +0100
+++ b/src/Provers/blast.ML Thu Dec 06 00:42:24 2001 +0100
@@ -65,7 +65,7 @@
swrappers: (string * wrapper) list,
uwrappers: (string * wrapper) list,
safe0_netpair: netpair, safep_netpair: netpair,
- haz_netpair: netpair, dup_netpair: netpair, xtra_netpair: netpair}
+ haz_netpair: netpair, dup_netpair: netpair, xtra_netpair: ContextRules.netpair}
val cla_modifiers: (Args.T list -> (Method.modifier * Args.T list)) list
val cla_meth': (claset -> int -> tactic) -> thm list -> Proof.context -> Proof.method
end;