From ea778eefb2fdba2102f8c1e6064b4e7968360822 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 Feb 2019 20:58:30 -0800
Subject: [PATCH] skip optimization
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/opt/maxlex.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp
index b2799f1c8..111d6f07a 100644
--- a/src/opt/maxlex.cpp
+++ b/src/opt/maxlex.cpp
@@ -245,6 +245,7 @@ namespace opt {
// every time probing whether to include soft_i,
// include suffix that is known to be assignable to T
+ //
lbool maxlexN() {
unsigned sz = m_soft.size();
for (unsigned i = 0; i < sz; ++i) {
@@ -297,7 +298,7 @@ namespace opt {
lbool operator()() override {
init();
- return maxlexN();
+ return maxlex1();
}