na

Z3Prover · Jan 12, 2021 · 91c54f6 · 91c54f6
1 parent 8abb644
commit 91c54f6
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
@@ -89,7 +89,6 @@ def parse_options():
                                                                    'x86-only',
                                                                    'x64-only'
                                                                    ])
-    print(options)
     for opt, arg in options:
         if opt in ('-b', '--build'):
             if arg == 'src':

diff --git a/src/sat/smt/arith_axioms.cpp b/src/sat/smt/arith_axioms.cpp
@@ -323,14 +323,14 @@ namespace arith {
 
         if (is_eq) {       
             ++m_stats.m_assert_eq;
+            m_new_eq = true;
             euf::enode* n1 = var2enode(v1);
             euf::enode* n2 = var2enode(v2);
             lpvar w1 = register_theory_var_in_lar_solver(v1);
             lpvar w2 = register_theory_var_in_lar_solver(v2);
             auto cs = lp().add_equality(w1, w2);            
             add_eq_constraint(cs.first, n1, n2);
             add_eq_constraint(cs.second, n1, n2);
-            m_new_eq = true;
             return;
         }
         literal le, ge;