re-enable delayed literal propagation

Z3Prover · Nov 29, 2023 · faa2d8a · faa2d8a
1 parent 2f01b5b
commit faa2d8a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/sat/smt/euf_solver.cpp b/src/sat/smt/euf_solver.cpp
@@ -1057,7 +1057,6 @@ namespace euf {
             SASSERT(true_lit != sat::null_literal); 
             return (void*)(r->to_ptr(true_lit)); 
         };
-        r->m_egraph.copy_from(m_egraph, copy_justification);        
         r->set_solver(s);
         r->m_egraph.copy_from(m_egraph, copy_justification);        
         for (euf::enode* n : r->m_egraph.nodes()) {