diff --git a/src/graph/graph.hh b/src/graph/graph.hh index aa6e6bcea..c9376f600 100644 --- a/src/graph/graph.hh +++ b/src/graph/graph.hh @@ -97,7 +97,7 @@ namespace spot { } - // if Data is a POS type, G++ 4.8.2 wants default values for all + // if Data is a POD type, G++ 4.8.2 wants default values for all // label fields unless we define this default constructor here. explicit boxed_label() { diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh index 775b77ae9..4b8f96fdf 100644 --- a/src/tgba/tgbagraph.hh +++ b/src/tgba/tgbagraph.hh @@ -174,11 +174,6 @@ namespace spot last_support_conditions_input_ = 0; } - graph_t& get_graph() - { - return g_; - } - template , typename Name_Equal = std::equal_to> @@ -188,6 +183,11 @@ namespace spot return new named_graph(g_); } + graph_t& get_graph() + { + return g_; + } + const graph_t& get_graph() const { return g_;