From 69b4392210562d8be06d53a9c3ca77cc1a0776dc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 29 Dec 2021 13:04:31 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/q_ematch.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/sat/smt/q_ematch.cpp b/src/sat/smt/q_ematch.cpp
index 827405f85..8d3bc5995 100644
--- a/src/sat/smt/q_ematch.cpp
+++ b/src/sat/smt/q_ematch.cpp
@@ -66,8 +66,7 @@ namespace q {
         };
         std::function<void(euf::enode*)> _on_make = 
             [&](euf::enode* n) {
-            relevant_eh(n);
-
+            m_mam->add_node(n, false);
         };
         ctx.get_egraph().set_on_merge(_on_merge);
         if (!ctx.relevancy().enabled())