changeset 221 | 64613d8fae28 |
parent 209 | 765619b7cbb2 |
child 263 | be8a861d3bb7 |
1.1 --- a/lemon/bits/graph_extender.h Tue Jul 15 18:43:41 2008 +0100 1.2 +++ b/lemon/bits/graph_extender.h Tue Jul 15 18:49:30 2008 +0100 1.3 @@ -19,8 +19,7 @@ 1.4 #ifndef LEMON_BITS_GRAPH_EXTENDER_H 1.5 #define LEMON_BITS_GRAPH_EXTENDER_H 1.6 1.7 -#include <lemon/bits/invalid.h> 1.8 -#include <lemon/bits/utility.h> 1.9 +#include <lemon/core.h> 1.10 1.11 #include <lemon/bits/map_extender.h> 1.12 #include <lemon/bits/default_map.h>