From b14f5aab835b4680e1b54639e995a8245e3a2ce3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Mar 2020 09:56:44 -0700
Subject: [PATCH] fix #3393

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

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 3d3c2efae..af1a79f92 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -102,7 +102,7 @@ bool core::canonize_sign(lpvar j) const {
 }
 
 bool core::canonize_sign_is_correct(const monic& m) const {
-    bool r = false;
+    bool r = m.sign();
     for (lpvar j : m.vars()) {
         r ^= canonize_sign(j);
     }