merge

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 20, 2021 · 8d37495 · 8d37495
1 parent 4a0a678
commit 8d37495
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/ast/euf/euf_etable.h b/src/ast/euf/euf_etable.h
@@ -87,11 +87,8 @@ namespace euf {
             bool operator()(enode * n1, enode * n2) const {
                 SASSERT(n1->num_args() == 2);
                 SASSERT(n2->num_args() == 2);
-
                 if (n1->get_decl() != n2->get_decl())
                     return false;
-
-                SASSERT(n1->get_decl() == n2->get_decl());
                 enode* c1_1 = get_root(n1, 0);  
                 enode* c1_2 = get_root(n1, 1); 
                 enode* c2_1 = get_root(n2, 0);