mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-25 01:55:32 +00:00
Code Activity

Remove unused variable

Browse source
This commit is contained in:
Jakob Rath 2022-08-04 08:55:04 +02:00
parent d7f0181c46
commit 4282cfa148
2 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/dd/dd_pdd.cpp
View file

@ -1532,7 +1532,6 @@ namespace dd {
}
void pdd_manager::gc() {
m_gc_generation++;
init_dmark();
m_free_nodes.reset();
SASSERT(well_formed());

1
src/math/dd/dd_pdd.h
View file

@ -208,7 +208,6 @@ namespace dd {
rational m_mod2N;
unsigned m_power_of_2 = 0;
rational m_max_value;
unsigned m_gc_generation = 0; ///< will be incremented on each GC
void reset_op_cache();
void init_nodes(unsigned_vector const& l2v);