From b53f66bf2fba12f6f02eb3614f15de7da842428b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Oct 2019 10:58:25 -0700
Subject: [PATCH] avoid access to invalid m_length

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_seq.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 8597bd144..615f135ed 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -1904,7 +1904,6 @@ bool theory_seq::check_length_coherence() {
             return true;
         }
     }
-    bool change = false;
     for (expr* l : m_length) {
         expr* e = nullptr;
         VERIFY(m_util.str.is_length(l, e));
@@ -1912,10 +1911,9 @@ bool theory_seq::check_length_coherence() {
             return true;
         }
         if (add_length_to_eqc(e)) {
-            change = true;
+            return true;
         }
     }
-    return change;
 }
 
 bool theory_seq::fixed_length(bool is_zero) {