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

---
 kernel/reduction.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/reduction.ml')

diff --git a/kernel/reduction.ml b/kernel/reduction.ml
index b62ca2045..c96371f26 100644
--- a/kernel/reduction.ml
+++ b/kernel/reduction.ml
@@ -289,7 +289,7 @@ let rec ccnv cv_pb l2r infos lft1 lft2 term1 term2 cuniv =
 
 (* Conversion between [lft1](hd1 v1) and [lft2](hd2 v2) *)
 and eqappr cv_pb l2r infos (lft1,st1) (lft2,st2) cuniv =
-  Util.check_for_interrupt ();
+  Control.check_for_interrupt ();
   incr steps;
   if !steps = 10000 && slave_process () then begin
     Thread.yield ();
-- 
cgit v1.2.3