From 702322a6e92ae794c8b8dd35de0b963e97795d81 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 29 Sep 2023 15:31:32 -0700
Subject: [PATCH] change the order of lp and nlp propagation

---
 src/smt/theory_lra.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index cd4aa5388..d355b9118 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -2151,8 +2151,8 @@ public:
             break;
         case l_true:
             propagate_basic_bounds();
+            propagate_bounds_with_nlp();            
             propagate_bounds_with_lp_solver();
-            propagate_bounds_with_nlp();
             break;
         case l_undef:
             UNREACHABLE();