1.1 --- a/lemon/planarity.h Thu Sep 13 11:56:19 2012 +0200
1.2 +++ b/lemon/planarity.h Thu Sep 13 12:02:27 2012 +0200
1.3 @@ -72,7 +72,6 @@
1.4 }
1.5
1.6 void discover(const Arc& arc) {
1.7 - Node source = _graph.source(arc);
1.8 Node target = _graph.target(arc);
1.9
1.10 _tree_map[arc] = true;