diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc index e6dad7a47..eb62b1aa5 100644 --- a/src/tgbaalgos/simulation.cc +++ b/src/tgbaalgos/simulation.cc @@ -720,7 +720,7 @@ namespace spot std::unique_ptr scc_info_; - const const_tgba_digraph_ptr& original_; + const const_tgba_digraph_ptr original_; }; } // End namespace anonymous.