diff -r 7fdaa05a69a1 -r 00f8d9f9920d lemon/planarity.h --- a/lemon/planarity.h Thu Sep 13 11:56:19 2012 +0200 +++ b/lemon/planarity.h Thu Sep 13 12:02:27 2012 +0200 @@ -72,7 +72,6 @@ } void discover(const Arc& arc) { - Node source = _graph.source(arc); Node target = _graph.target(arc); _tree_map[arc] = true;