diff --git a/src/tgbaalgos/degen.cc b/src/tgbaalgos/degen.cc index b84afdd76..a7e3e4760 100644 --- a/src/tgbaalgos/degen.cc +++ b/src/tgbaalgos/degen.cc @@ -173,7 +173,7 @@ namespace spot typedef Sgi::hash_map cache_t; cache_t cache_; - unicity_table uniq_; + unicity_table& uniq_; public: has_acc_loop(const tgba* a, unicity_table& uniq):