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

* src/tgbaalgos/degen.cc: Do not copy the unicity table.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-01-23 15:04:21 +01:00
parent bbf6a68228
commit 91789b9b12
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/degen.cc
View file

@ -173,7 +173,7 @@ namespace spot
typedef Sgi::hash_map<const state*, bool,
state_ptr_hash, state_ptr_equal> cache_t;
cache_t cache_;
unicity_table uniq_;
unicity_table& uniq_;
public:
has_acc_loop(const tgba* a, unicity_table& uniq):