From 2ecbe26be124509aff6370114e3166c5d582618b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 12 Dec 2015 10:24:19 -0800
Subject: [PATCH] ensure limit children are safe for race conditions

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/rlimit.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp
index 0728c48be..fa34a9555 100644
--- a/src/util/rlimit.cpp
+++ b/src/util/rlimit.cpp
@@ -84,7 +84,7 @@ void reslimit::pop_child() {
 void reslimit::cancel() {
     #pragma omp critical (reslimit_cancel)
     {
-        set_cancel(false);
+        set_cancel(true);
     }
 }