From c829cbbadff5f5dae8dfdd3ee1635aae7c09fc17 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Apr 2015 23:21:56 +0200
Subject: [PATCH] get rid of tgta.cc

Fixes #76.

* src/ta/tgta.cc: Delete, and move the empty
constructor and destructor...
* src/ta/tgta.hh: ... here.
* src/ta/Makefile.am: Adjust.
---
 src/ta/Makefile.am |  3 +--
 src/ta/tgta.cc     | 30 ------------------------------
 src/ta/tgta.hh     | 10 +++++++---
 3 files changed, 8 insertions(+), 35 deletions(-)
 delete mode 100644 src/ta/tgta.cc

diff --git a/src/ta/Makefile.am b/src/ta/Makefile.am
index 92cf587fb..702af653b 100644
--- a/src/ta/Makefile.am
+++ b/src/ta/Makefile.am
@@ -1,5 +1,5 @@
 ## -*- coding: utf-8 -*-
-## Copyright (C) 2010, 2012, 2013 Laboratoire de Recherche et
+## Copyright (C) 2010, 2012, 2013, 2015 Laboratoire de Recherche et
 ## Développement de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.
@@ -34,7 +34,6 @@ noinst_LTLIBRARIES = libta.la
 libta_la_SOURCES = \
   ta.cc \
   taproduct.cc \
-  tgta.cc \
   tgtaexplicit.cc \
   taexplicit.cc \
   tgtaproduct.cc
diff --git a/src/ta/tgta.cc b/src/ta/tgta.cc
deleted file mode 100644
index 7b86c3db5..000000000
--- a/src/ta/tgta.cc
+++ /dev/null
@@ -1,30 +0,0 @@
-// -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
-//
-// This file is part of Spot, a model checking library.
-//
-// Spot is free software; you can redistribute it and/or modify it
-// under the terms of the GNU General Public License as published by
-// the Free Software Foundation; either version 3 of the License, or
-// (at your option) any later version.
-//
-// Spot is distributed in the hope that it will be useful, but WITHOUT
-// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
-// License for more deta_explicitils.
-//
-// You should have received a copy of the GNU General Public License
-// along with this program.  If not, see <http://www.gnu.org/licenses/>.
-
-#include "tgta.hh"
-
-
-namespace spot
-{
-  tgta::tgta(const bdd_dict_ptr& d)
-    : twa(d)
-  {};
-  tgta::~tgta()
-  {};
-}
diff --git a/src/ta/tgta.hh b/src/ta/tgta.hh
index 06a6342d6..62b862c29 100644
--- a/src/ta/tgta.hh
+++ b/src/ta/tgta.hh
@@ -60,11 +60,15 @@ namespace spot
   {
 
   protected:
-    tgta(const bdd_dict_ptr& d);
+    tgta(const bdd_dict_ptr& d)
+      : twa(d)
+    {
+    }
 
   public:
-    virtual
-    ~tgta();
+    virtual ~tgta()
+    {
+    }
 
     /// \brief Get an iterator over the successors of \a state
     /// filtred by the value of the changeset on transitions between the