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 void set_univ_init_state(I dst_begin, I dst_end) {