#5454

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 4, 2021 · ed3f8a5 · ed3f8a5
1 parent a39d1c6
commit ed3f8a5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/sat/smt/fpa_solver.cpp b/src/sat/smt/fpa_solver.cpp
@@ -226,6 +226,9 @@ namespace fpa {
                     add_unit(eq_internalize(wrapped, cc_args));
                     add_units(mk_side_conditions());
                 }
+                else if (m.is_ite(n)) {
+                    // pass
+                }
                 else 
                     add_unit(eq_internalize(m_converter.unwrap(wrapped, n->get_sort()), n));                
             }