From 84f92541f36f228660e9108cc2ef0cf41cc7cdc0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 20 Jun 2014 13:46:39 +0200
Subject: [PATCH] * src/graph/graph.hh, src/tgba/tgbagraph.hh: Cosmetic fixes.

---
 src/graph/graph.hh    |  2 +-
 src/tgba/tgbagraph.hh | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

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 State_Name,
 	      typename Name_Hash = std::hash<State_Name>,
 	      typename Name_Equal = std::equal_to<State_Name>>
@@ -188,6 +183,11 @@ namespace spot
       return new named_graph<graph_t, State_Name, Name_Hash, Name_Equal>(g_);
     }
 
+    graph_t& get_graph()
+    {
+      return g_;
+    }
+
     const graph_t& get_graph() const
     {
       return g_;