# HG changeset patch
# User deba
# Date 1139241152 0
# Node ID 8e19ca944727e3b6a2779361e80164bdfadeb346
# Parent  a60b681d0825c7635281bee1745acceebb40ae7a
Bug fix

diff -r a60b681d0825 -r 8e19ca944727 lemon/bits/default_map.h
--- a/lemon/bits/default_map.h	Mon Feb 06 09:11:53 2006 +0000
+++ b/lemon/bits/default_map.h	Mon Feb 06 15:52:32 2006 +0000
@@ -507,7 +507,9 @@
     protected:
       
       virtual void add(const Node&) {}
+      virtual void add(const std::vector<Node>&) {}
       virtual void erase(const Node&) {}
+      virtual void erase(const std::vector<Node>&) {}
       virtual void clear() {}
       virtual void build() {}
 
diff -r a60b681d0825 -r 8e19ca944727 lemon/bits/static_map.h
--- a/lemon/bits/static_map.h	Mon Feb 06 09:11:53 2006 +0000
+++ b/lemon/bits/static_map.h	Mon Feb 06 15:52:32 2006 +0000
@@ -501,7 +501,9 @@
     protected:
       
       virtual void add(const Node&) {}
+      virtual void add(const std::vector<Node>&) {}
       virtual void erase(const Node&) {}
+      virtual void erase(const std::vector<Node>&) {}
       virtual void clear() {}
       virtual void build() {}