From 57a5474ab426a6a4a62a8e1286ac423d07d48937 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 27 Jan 2025 16:56:12 -0800
Subject: [PATCH] revert flat default

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

diff --git a/src/model/model_evaluator.cpp b/src/model/model_evaluator.cpp
index 664440557..069acc4d9 100644
--- a/src/model/model_evaluator.cpp
+++ b/src/model/model_evaluator.cpp
@@ -89,7 +89,7 @@ struct evaluator_cfg : public default_rewriter_cfg {
         m_fpau(m),
         m_dt(m),
         m_pinned(m) {
-        bool flat = false;
+        bool flat = true;
         m_b_rw.set_flat_and_or(flat);
         m_a_rw.set_flat(flat);
         m_bv_rw.set_flat(flat);