mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

fixed compilation bug

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-24 14:53:23 -07:00
parent 4daecd5fb0
commit b6669a5008
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/smtparser.cpp
View file

@ -1934,7 +1934,6 @@ class smtparser : public parser {
family_id m_rel_fid; family_id m_rel_fid;
datatype_decl_plugin * m_dt_plugin; datatype_decl_plugin * m_dt_plugin;
datatype_util m_dt_util; datatype_util m_dt_util;
substitution_tree m_st;
func_decl * m_sk_hack; func_decl * m_sk_hack;
std::ostream* m_err; std::ostream* m_err;
bool m_display_error_for_vs; bool m_display_error_for_vs;
@ -1975,7 +1974,6 @@ public:
m_underscore("_"), m_underscore("_"),
m_dt_plugin(0), m_dt_plugin(0),
m_dt_util(m), m_dt_util(m),
m_st(m),
m_err(0), m_err(0),
m_display_error_for_vs(false) m_display_error_for_vs(false)
{ {