change the order of lp and nlp propagation

Z3Prover · Sep 29, 2023 · 702322a · 702322a
1 parent b64fdef
commit 702322a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
@@ -2151,8 +2151,8 @@ class theory_lra::imp {
             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();