mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

rename del to remove to avoid compiler error

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-09-05 17:40:22 -07:00
parent c708691a50
commit dabf88b95d
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/datatype_decl_plugin2.cpp
View file

@ -361,7 +361,7 @@ namespace datatype {
return true; return true;
} }
void plugin::del(symbol const& s) { void plugin::remove(symbol const& s) {
def* d = 0; def* d = 0;
if (m_defs.find(s, d)) dealloc(d); if (m_defs.find(s, d)) dealloc(d);
m_defs.remove(s); m_defs.remove(s);

2
src/ast/datatype_decl_plugin2.h
View file

@ -267,7 +267,7 @@ namespace datatype {
def* mk(symbol const& name, unsigned n, sort * const * params); def* mk(symbol const& name, unsigned n, sort * const * params);
void del(symbol const& d); void remove(symbol const& d);
bool mk_datatypes(unsigned num_datatypes, def * const * datatypes, unsigned num_params, sort* const* sort_params, sort_ref_vector & new_sorts); bool mk_datatypes(unsigned num_datatypes, def * const * datatypes, unsigned num_params, sort* const* sort_params, sort_ref_vector & new_sorts);