From 8137b100f5fb0684d40381acbd1a708afef39eae Mon Sep 17 00:00:00 2001
From: noe <laurent.noe@univ-lille1.fr>
Date: Thu, 12 Jan 2017 11:11:45 +0100
Subject: [PATCH] Removing templated <void> code

---
 src/automaton.hh | 35 -----------------------------------
 1 file changed, 35 deletions(-)

diff --git a/src/automaton.hh b/src/automaton.hh
index 5c9793b..b56f14d 100644
--- a/src/automaton.hh
+++ b/src/automaton.hh
@@ -237,41 +237,6 @@ template<typename T> inline istream& operator>>(istream& is, transition<T>& tr)
   return is;
 }
 
-/**
- * @class transition<void>
- * @brief transition to a given state (on a given letter)
- */
-template<> class transition<void> {
-public:
-  /** @brief build a transition object
-   *  @param state gives the state number reached by this transition
-   */
-  inline transition<void>(int state = 0) : _state(state) {};
-  /// Erase a transition
-  inline ~transition<void>() {;};
-
-
-protected :
-  /// state number to be reached
-  int     _state;
-
-  /// state is a friend class to ease access
-  friend class state<void>;
-  /// automaton is a friend class to ease access
-  friend class automaton<void>;
-  /// print transition<void> information is friend
-  friend ostream& operator<<(ostream& os, const transition<void>& tr);
-  /// read transition<void> information is friend
-  friend istream& operator>>(istream& is, transition<void>& tr);
-  /// print state<void> information is friend
-  friend ostream& operator<<(ostream& os, const state<void>& st);
-  /// read state<void> information is friend
-  friend istream& operator>>(istream& is, state<void>& st);
-  /// print automaton<void> information is friend
-  friend ostream& operator<<(ostream& os, const automaton<void>& au);
-  /// read automaton<void> information is friend
-  friend istream& operator>>(istream& is, automaton<void>& au);
-};
 
 /**
  * @class state