From 881523b9634a4c413d67aff76ad283190508111d Mon Sep 17 00:00:00 2001
From: Thomas Given-Wilson <thomas.givenwilson@diffblue.com>
Date: Thu, 3 Aug 2023 13:38:29 +0100
Subject: [PATCH] Turns off using lambdas for array comprehension

Using lambdas for array comprehension can cause errors in
get-value operations later.

Fixes #7767
---
 src/solvers/smt2/smt2_conv.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/solvers/smt2/smt2_conv.cpp b/src/solvers/smt2/smt2_conv.cpp
index 2cb65bcff1e..0f37ac4f413 100644
--- a/src/solvers/smt2/smt2_conv.cpp
+++ b/src/solvers/smt2/smt2_conv.cpp
@@ -132,7 +132,6 @@ smt2_convt::smt2_convt(
     use_array_of_bool = true;
     use_as_const = true;
     use_check_sat_assuming = true;
-    use_lambda_for_array = true;
     emit_set_logic = false;
     use_datatypes = true;
     break;