From d12c7561624de9a2ae6cf10a7fa2bd9c97b2bc5e Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 24 May 2018 14:24:44 -0500
Subject: [PATCH] Fix (#1975)

---
 src/theory/arith/nonlinear_extension.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp
index be8f22222..a323ccddd 100644
--- a/src/theory/arith/nonlinear_extension.cpp
+++ b/src/theory/arith/nonlinear_extension.cpp
@@ -1735,7 +1735,7 @@ bool NonlinearExtension::simpleCheckModelMsum(const std::map<Node, Node>& msum,
           }
           else
           {
-            vc_set_lower = (signs[i] == setAbs);
+            vc_set_lower = (signs[i] != setAbs);
           }
           Trace("nl-ext-cms-debug")
               << "..." << vc << " set to " << (vc_set_lower ? "lower" : "upper")
-- 
2.30.2