From 4e724634839726aa11534f16e4bfb95cd81232a4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 23 Jul 2014 11:54:36 +0200
Subject: STM: code restructured to reuse task queue for tactics

---
 lib/control.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/control.ml')

diff --git a/lib/control.ml b/lib/control.ml
index 18176b843..cce9d3a9f 100644
--- a/lib/control.ml
+++ b/lib/control.ml
@@ -14,7 +14,7 @@ let steps = ref 0
 
 let are_we_threading = lazy (
   match !Flags.async_proofs_mode with
-  | Flags.APonParallel _ -> true
+  | Flags.APon -> true
   | _ -> false)
 
 let check_for_interrupt () =
-- 
cgit v1.2.3