From 0fa04179d0adde1634f5ba1c6e91329072703d4d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 26 Mar 2020 11:06:04 -0700
Subject: [PATCH] fix #3522

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_arith_inv.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/theory_arith_inv.h b/src/smt/theory_arith_inv.h
index 987d075c3..12dd0bb38 100644
--- a/src/smt/theory_arith_inv.h
+++ b/src/smt/theory_arith_inv.h
@@ -215,6 +215,8 @@ namespace smt {
 
     template<typename Ext>
     bool theory_arith<Ext>::valid_assignment() const {
+        if (get_manager().canceled())
+            return true;
         if (valid_row_assignment() &&
             satisfy_bounds() &&
             satisfy_integrality()) {