From b6669a50089528cf691f3563c9fcee2fda678104 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 24 Oct 2012 14:53:23 -0700
Subject: [PATCH] fixed compilation bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/api/smtparser.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/api/smtparser.cpp b/src/api/smtparser.cpp
index ea073ea5e..91b636d09 100644
--- a/src/api/smtparser.cpp
+++ b/src/api/smtparser.cpp
@@ -1934,7 +1934,6 @@ class smtparser : public parser {
     family_id                m_rel_fid;
     datatype_decl_plugin *   m_dt_plugin;
     datatype_util            m_dt_util;
-    substitution_tree        m_st;
     func_decl *              m_sk_hack;
     std::ostream*            m_err;
     bool                     m_display_error_for_vs;
@@ -1975,7 +1974,6 @@ public:
         m_underscore("_"),
         m_dt_plugin(0),
         m_dt_util(m),
-        m_st(m),
         m_err(0),
         m_display_error_for_vs(false)
     {