From 1c8f28c2e93f23159b76d0693d04f01a72954a8a Mon Sep 17 00:00:00 2001
From: Lev <levnach@hotmail.com>
Date: Tue, 6 Nov 2018 16:25:39 -0800
Subject: [PATCH] check m.canceled() more often

Signed-off-by: Lev <levnach@hotmail.com>
---
 src/smt/theory_lra.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index a44a7659b..b5d64d345 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -2253,7 +2253,9 @@ public:
         }
 
         lbool lbl = make_feasible();
-            
+        if (m.canceled())
+            return;
+        
         switch(lbl) {
         case l_false:
             TRACE("arith", tout << "propagation conflict\n";);