diff options
| -rw-r--r-- | contrib/first-order/rules.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/first-order/rules.ml b/contrib/first-order/rules.ml index 2ae0b5df40..85abca7218 100644 --- a/contrib/first-order/rules.ml +++ b/contrib/first-order/rules.ml @@ -27,6 +27,7 @@ type seqtac= (Sequent.t -> tactic) -> Sequent.t -> tactic type lseqtac= global_reference -> seqtac let wrap n b tacrec seq gls= + check_for_interrupt (); let nc=pf_hyps gls in let rec aux i nc= if i<=0 then seq else |