From b9b5377c6943cb88bbd0efcc3cded932574f0767 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 10 Jun 2022 14:37:25 -0700
Subject: [PATCH] add a way to supress lambdas

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

diff --git a/src/smt/smt_internalizer.cpp b/src/smt/smt_internalizer.cpp
index 88623bb2c..63e5b0e7b 100644
--- a/src/smt/smt_internalizer.cpp
+++ b/src/smt/smt_internalizer.cpp
@@ -616,7 +616,7 @@ namespace smt {
         if (m_non_lambdas.contains(q))
             return;
         m_non_lambdas.insert(q);
-        push_trail(insert_obj_trail<quantifier>(m_lambdas, q));
+        push_trail(insert_obj_trail<quantifier>(m_non_lambdas, q));
         if (m_lambdas.contains(q)) {
             m_lambdas.remove(q);
             push_trail(remove_obj_trail<quantifier>(m_lambdas, q));