From 24a0df63c1844c6f2c69f9644a3059d668fd1e6f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 7 Jun 2014 00:28:29 +0200
Subject: Adding a new Control file centralizing the control options of Coq.

---
 plugins/firstorder/rules.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/firstorder')

diff --git a/plugins/firstorder/rules.ml b/plugins/firstorder/rules.ml
index 996deb8c5d..986f2bebca 100644
--- a/plugins/firstorder/rules.ml
+++ b/plugins/firstorder/rules.ml
@@ -27,7 +27,7 @@ type lseqtac= global_reference -> seqtac
 type 'a with_backtracking = tactic -> 'a
 
 let wrap n b continue seq gls=
-  check_for_interrupt ();
+  Control.check_for_interrupt ();
   let nc=pf_hyps gls in
   let env=pf_env gls in
   let rec aux i nc ctx=
-- 
cgit v1.2.3