1.1 --- a/lemon/smart_graph.h	Thu Jun 09 09:46:34 2005 +0000
     1.2 +++ b/lemon/smart_graph.h	Thu Jun 09 09:47:51 2005 +0000
     1.3 @@ -280,14 +280,14 @@
     1.4    protected:
     1.5      void restoreSnapShot(const SnapShot &s)
     1.6      {
     1.7 -      while(s.edge_num>edges.size()) {
     1.8 +      while(s.edge_num<edges.size()) {
     1.9  	Parent::getNotifier(Edge()).erase(Edge(edges.size()-1));
    1.10  	nodes[edges.back().target].first_in=edges.back().next_in;
    1.11  	nodes[edges.back().source].first_out=edges.back().next_out;
    1.12  	edges.pop_back();
    1.13        }
    1.14        //nodes.resize(s.nodes_num);
    1.15 -      while(s.node_num>nodes.size()) {
    1.16 +      while(s.node_num<nodes.size()) {
    1.17  	Parent::getNotifier(Node()).erase(Node(nodes.size()-1));
    1.18  	nodes.pop_back();
    1.19        }