diff options
Diffstat (limited to 'contrib/first-order/rules.mli')
| -rw-r--r-- | contrib/first-order/rules.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/first-order/rules.mli b/contrib/first-order/rules.mli index c5c15fdd52..60756127ac 100644 --- a/contrib/first-order/rules.mli +++ b/contrib/first-order/rules.mli @@ -33,7 +33,7 @@ val and_tac : seqtac with_backtracking val or_tac : seqtac with_backtracking -val arrow_tac : seqtac +val arrow_tac : seqtac with_backtracking val left_and_tac : inductive -> lseqtac with_backtracking |