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.

---
 checker/check.mllib  | 1 +
 checker/reduction.ml | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'checker')

diff --git a/checker/check.mllib b/checker/check.mllib
index 7488a2c578..9f0bc200c5 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -12,6 +12,7 @@ Option
 Store
 Exninfo
 Backtrace
+Control
 Flags
 Pp_control
 Pp
diff --git a/checker/reduction.ml b/checker/reduction.ml
index 384b9ad7f2..49f0a26e72 100644
--- a/checker/reduction.ml
+++ b/checker/reduction.ml
@@ -226,7 +226,7 @@ let rec ccnv univ cv_pb infos lft1 lft2 term1 term2 =
 
 (* Conversion between [lft1](hd1 v1) and [lft2](hd2 v2) *)
 and eqappr univ cv_pb infos (lft1,st1) (lft2,st2) =
-  Util.check_for_interrupt ();
+  Control.check_for_interrupt ();
   (* First head reduce both terms *)
   let rec whd_both (t1,stk1) (t2,stk2) =
     let st1' = whd_stack infos t1 stk1 in
-- 
cgit v1.2.3