# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1432309704 -7200
# Node ID 48a0d237db3cb4e1559558fc7ff8c74bd6671b01
# Parent  57a344e446c942d127d7004278af6c3ec50b4d43# Parent  2126945deb6a59f704b61a82bdfac6f10025dd0a
Merge bugfix #598 to branch 1.3

diff -r 57a344e446c9 -r 48a0d237db3c lemon/list_graph.h
--- a/lemon/list_graph.h	Thu May 07 11:41:48 2015 +0200
+++ b/lemon/list_graph.h	Fri May 22 17:48:24 2015 +0200
@@ -582,7 +582,7 @@
           snapshot.addNode(node);
         }
         virtual void add(const std::vector<Node>& nodes) {
-          for (int i = nodes.size() - 1; i >= 0; ++i) {
+          for (int i = nodes.size() - 1; i >= 0; --i) {
             snapshot.addNode(nodes[i]);
           }
         }
@@ -632,7 +632,7 @@
           snapshot.addArc(arc);
         }
         virtual void add(const std::vector<Arc>& arcs) {
-          for (int i = arcs.size() - 1; i >= 0; ++i) {
+          for (int i = arcs.size() - 1; i >= 0; --i) {
             snapshot.addArc(arcs[i]);
           }
         }
@@ -1394,7 +1394,7 @@
           snapshot.addNode(node);
         }
         virtual void add(const std::vector<Node>& nodes) {
-          for (int i = nodes.size() - 1; i >= 0; ++i) {
+          for (int i = nodes.size() - 1; i >= 0; --i) {
             snapshot.addNode(nodes[i]);
           }
         }
@@ -1444,7 +1444,7 @@
           snapshot.addEdge(edge);
         }
         virtual void add(const std::vector<Edge>& edges) {
-          for (int i = edges.size() - 1; i >= 0; ++i) {
+          for (int i = edges.size() - 1; i >= 0; --i) {
             snapshot.addEdge(edges[i]);
           }
         }
@@ -2299,7 +2299,7 @@
           snapshot.addNode(node);
         }
         virtual void add(const std::vector<Node>& nodes) {
-          for (int i = nodes.size() - 1; i >= 0; ++i) {
+          for (int i = nodes.size() - 1; i >= 0; --i) {
             snapshot.addNode(nodes[i]);
           }
         }
@@ -2349,7 +2349,7 @@
           snapshot.addEdge(edge);
         }
         virtual void add(const std::vector<Edge>& edges) {
-          for (int i = edges.size() - 1; i >= 0; ++i) {
+          for (int i = edges.size() - 1; i >= 0; --i) {
             snapshot.addEdge(edges[i]);
           }
         }