From 91789b9b12903da1dae8041cfb9c3d56538106dc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Jan 2014 15:04:21 +0100
Subject: [PATCH] * src/tgbaalgos/degen.cc: Do not copy the unicity table.

---
 src/tgbaalgos/degen.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<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):