From d51ebac10a19520917d3725279a3a421e3e2279d Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Fri, 28 Apr 2017 14:01:44 -0400
Subject: [PATCH] remove references to str_fid

---
 src/ast/ast_smt_pp.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/ast_smt_pp.cpp b/src/ast/ast_smt_pp.cpp
index c3f1523b1..f41350dc5 100644
--- a/src/ast/ast_smt_pp.cpp
+++ b/src/ast/ast_smt_pp.cpp
@@ -166,7 +166,6 @@ class smt_printer {
     fpa_util         m_futil;
     family_id        m_basic_fid;
     family_id        m_bv_fid;
-    family_id        m_str_fid;
     family_id        m_arith_fid;
     family_id        m_array_fid;
     family_id        m_dt_fid;
@@ -846,7 +845,6 @@ public:
         m_bv_fid    = m.mk_family_id("bv");
         m_arith_fid = m.mk_family_id("arith");
         m_array_fid = m.mk_family_id("array");
-        m_str_fid   = m.mk_family_id("str");
         m_dt_fid    = m.mk_family_id("datatype");
         m_fpa_fid   = m.mk_family_id("fpa");
     }