From d1f64708055701b8994df8a4e01bda2a51dc1023 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 22 Mar 2020 13:50:33 -0700
Subject: [PATCH] fix #3431

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

diff --git a/src/qe/qe.cpp b/src/qe/qe.cpp
index 624a5dfcf..d40cc1586 100644
--- a/src/qe/qe.cpp
+++ b/src/qe/qe.cpp
@@ -367,7 +367,7 @@ namespace qe {
                 m_replace->apply_substitution(ite, el, tmp2);
                 result = m.mk_ite(cond, tmp1, tmp2);
                 m_rewriter(result);
-                return true;
+                return result != fml;
             }
             else {
                 return false;