From 52ad5aaa58f422e02bb17f1ffd1ce66c770e6ddc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 22 May 2021 14:39:31 -0700
Subject: [PATCH] na

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

diff --git a/src/math/polysat/fixplex_def.h b/src/math/polysat/fixplex_def.h
index b072a9b54..61ec39243 100644
--- a/src/math/polysat/fixplex_def.h
+++ b/src/math/polysat/fixplex_def.h
@@ -521,7 +521,7 @@ namespace polysat {
                 IF_VERBOSE(0, verbose_stream() << "violated v" << v << " < v" << w << "\n");
                 return l_false;
             }
-            if (ineq.strict && value(v) > value(w)) {
+            if (!ineq.strict && value(v) > value(w)) {
                 IF_VERBOSE(0, verbose_stream() << "violated v" << v << " <= v" << w << "\n");
                 return l_false;
             }