tree 338260f3b67c7f358173494c5f4be08a30db8fb7
parent 632eff43485479c5650ab939a94828e26d4654a8
author Marco Poletti <poletti.marco@gmail.com> 1466269286 +0100
committer Marco Poletti <poletti.marco@gmail.com> 1466345481 +0100

Remove the method SemistaticGraph::changeNodeToTerminal(), it was never used.