alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tgbatba: fix destroying of cache variables.

Browse source 
* src/tgba/tgbatba.cc (tgba_tba_proxy::~tgba_tba_proxy):
Zero last_support_conditions_input_ and last_support_variables_input_.
This commit is contained in:
Alexandre Duret-Lutz 2012-04-13 12:21:57 +02:00
parent 8269ae9cee
commit d3be530410
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgba/tgbatba.cc
View file

@ -459,6 +459,11 @@ namespace spot
s->destroy(); s->destroy();
} }
delete m; delete m;
// These have already been destroyed.
// Prevent destroying by tgba::~tgba.
this->last_support_conditions_input_ = 0;
this->last_support_variables_input_ = 0;
} }
state* state*