From fd968783a599961a67ccc3afb2b90c4a776f9f38 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Thu, 9 Jun 2016 20:35:26 -0400
Subject: [PATCH] fix model generation for theory_str

---
 src/smt/theory_str.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/smt/theory_str.h b/src/smt/theory_str.h
index 6616e9ffa..99899b365 100644
--- a/src/smt/theory_str.h
+++ b/src/smt/theory_str.h
@@ -44,9 +44,7 @@ namespace smt {
             return true;
         }
         virtual expr * get_fresh_value(sort * s) {
-            // TODO this may be causing crashes in model gen? investigate
-            //return m_util.mk_fresh_string();
-            NOT_IMPLEMENTED_YET();
+            return m_util.mk_fresh_string();
         }
         virtual void register_value(expr * n) { /* Ignore */ }
     };