From df44616dfdcc8198643e42d3e9f6dfb893ce1cc4 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 7 Mar 2017 17:33:43 +0100
Subject: [PATCH] twa_graph: remove the useless set_init_state(const state*)

* spot/twa/twagraph.hh: Here.
* NEWS: Mention the change.
---
 NEWS                 | 4 ++++
 spot/twa/twagraph.hh | 5 -----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/NEWS b/NEWS
index 5608a76a6..64ed78f8c 100644
--- a/NEWS
+++ b/NEWS
@@ -54,6 +54,10 @@ New in spot 2.3.1.dev (not yet released)
     explicit.  The implicit converion to bool (and, via bool, to int)
     was a source of bugs.
 
+  - spot::twa_graph::set_init_state(const state*) has been removed.
+    It was never used.  You always want to use
+    spot::twa_graph::set_init_state(unsigned) in practice.
+
 
 New in spot 2.3.1 (2017-02-20)
 
diff --git a/spot/twa/twagraph.hh b/spot/twa/twagraph.hh
index 0594ab092..6c51fec06 100644
--- a/spot/twa/twagraph.hh
+++ b/spot/twa/twagraph.hh
@@ -261,11 +261,6 @@ namespace spot
       init_number_ = s;
     }
 
-    void set_init_state(const state* s)
-    {
-      set_init_state(state_number(s));
-    }
-
     template<class I>
     void set_univ_init_state(I dst_begin, I dst_end)
     {