From a374e2c57584baa0e50d43a29886d0148911cf2d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Jul 2022 15:47:48 -0700 Subject: [PATCH] ignore qid if they are both numerical - come from the parser Signed-off-by: Nikolaj Bjorner --- src/ast/ast.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 468ad8c81..473bd82b5 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -486,7 +486,8 @@ bool compare_nodes(ast const * n1, ast const * n2) { q1->get_expr() == q2->get_expr() && q1->get_weight() == q2->get_weight() && q1->get_num_patterns() == q2->get_num_patterns() && - q1->get_qid() == q2->get_qid() && + ((q1->get_qid().is_numerical() && q2->get_qid().is_numerical()) || + (q1->get_qid() == q2->get_qid())) && compare_arrays(q1->get_patterns(), q2->get_patterns(), q1->get_num_patterns()) &&