From b4fbbc95626d84b3514cbd82bcf2e3a7068220af Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 11 Apr 2013 11:57:03 +0200
Subject: [PATCH] Fix Warning GCC 4.8

* src/tgbatest/taatgba.cc: Remove unused typedef
---
 src/tgbatest/taatgba.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/tgbatest/taatgba.cc b/src/tgbatest/taatgba.cc
index 9ef8d987e..62dedadc8 100644
--- a/src/tgbatest/taatgba.cc
+++ b/src/tgbatest/taatgba.cc
@@ -34,8 +34,6 @@ main()
   spot::taa_tgba_string* a = new spot::taa_tgba_string(dict);
 
   typedef spot::taa_tgba::transition trans;
-  typedef spot::taa_tgba::state state;
-  typedef spot::taa_tgba::state_set state_set;
 
   std::string ss1_values[] = { "state 2", "state 3" };
   std::vector<std::string> ss1_vector(ss1_values, ss1_values + 2);