From a61e1f17e872075cc784e06de4061a5b24941d5e Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Wed, 2 Nov 2016 12:35:14 -0400
Subject: [PATCH] fix crash in gen_len_test_options when fast length testers
 are disabled

---
 src/smt/theory_str.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 45b715247..5f024dead 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -8553,7 +8553,7 @@ expr * theory_str::gen_len_test_options(expr * freeVar, expr * indicator, int tr
 	        }
 	    } else {
 	        std::string i_str = int_to_string(i);
-	        expr_ref str_indicator(m_strutil.mk_string(i_str), m);
+	        str_indicator = expr_ref(m_strutil.mk_string(i_str), m);
 	    }
 		expr_ref or_expr(ctx.mk_eq_atom(indicator, str_indicator), m);
 		orList.push_back(or_expr);