From 921260ae82a2f25a70d047b5eef8826b46617757 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Mar 2026 00:38:04 +0000
Subject: [PATCH] Fix propagate_assoc find/else logic for hash table

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/euf/euf_seq_plugin.cpp | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/ast/euf/euf_seq_plugin.cpp b/src/ast/euf/euf_seq_plugin.cpp
index 422d1d2b2..9173c9c10 100644
--- a/src/ast/euf/euf_seq_plugin.cpp
+++ b/src/ast/euf/euf_seq_plugin.cpp
@@ -159,9 +159,11 @@ namespace euf {
             return;
 
         enode* existing = nullptr;
-        if (m_concat_table.find(n, existing) && existing != n)
-            push_merge(n, existing);
-        else if (!existing) {
+        if (m_concat_table.find(n, existing)) {
+            if (existing != n)
+                push_merge(n, existing);
+        }
+        else {
             m_concat_table.insert(n);
             m_concats.push_back(n);
             push_undo(undo_kind::undo_add_to_table);