diff --git a/src/api/api_context.h b/src/api/api_context.h
index 6e34f6d6e..4685fd04e 100644
--- a/src/api/api_context.h
+++ b/src/api/api_context.h
@@ -82,7 +82,6 @@ namespace api {
         family_id                  m_pb_fid;
         family_id                  m_fpa_fid;
         family_id                  m_seq_fid;
-        family_id                  m_str_fid;
         datatype_decl_plugin *     m_dt_plugin;
         
         std::string                m_string_buffer; // temporary buffer used to cache strings sent to the "external" world.
@@ -136,7 +135,6 @@ namespace api {
         family_id get_pb_fid() const { return m_pb_fid; }
         family_id get_fpa_fid() const { return m_fpa_fid; }
         family_id get_seq_fid() const { return m_seq_fid; }
-        family_id get_str_fid() const { return m_str_fid; }
         datatype_decl_plugin * get_dt_plugin() const { return m_dt_plugin; }
 
         Z3_error_code get_error_code() const { return m_error_code; }