From 1ef43540807559decd41329b8993341ed55fe124 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Apr 2024 17:52:00 -0700
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_solver.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index a1b653a89..b155a0f37 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -2981,7 +2981,9 @@ namespace nlsat {
                     m_display_var(verbose_stream(), x);
                     display(verbose_stream() << " ", *c) << "\n";
                     bound_constraint l(x, A, B, false, c);
-                    bound_constraint h(x, -A, -B, false, c);
+                    A = -A;
+                    B = -B;
+                    bound_constraint h(x, A, B, false, c);
                     apply_fm_equality(x, clauses, l, h);
                     return true;
                 }