diff -r 2da3de1c0ebe -r 08712a8c3afe lemon/planarity.h --- a/lemon/planarity.h Wed Sep 12 17:29:50 2012 +0200 +++ b/lemon/planarity.h Thu Sep 13 12:05:34 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;