Sébastien Loriot 69fbe19f06 fix make_terminal() ... if the node is already terminal, no need to break its degree This was an issue if the degree is actually 0		2017-02-10 14:00:07 +01:00
..
CGAL	fix make_terminal()	2017-02-10 14:00:07 +01:00