changeset 220 | a5d8c039f218 |
parent 209 | 765619b7cbb2 |
child 256 | c760d691fe3c |
1.1 --- a/lemon/bits/base_extender.h Mon Jul 14 15:40:24 2008 +0100 1.2 +++ b/lemon/bits/base_extender.h Tue Jul 15 13:15:39 2008 +0200 1.3 @@ -19,7 +19,7 @@ 1.4 #ifndef LEMON_BITS_BASE_EXTENDER_H 1.5 #define LEMON_BITS_BASE_EXTENDER_H 1.6 1.7 -#include <lemon/bits/invalid.h> 1.8 +#include <lemon/core.h> 1.9 #include <lemon/error.h> 1.10 1.11 #include <lemon/bits/map_extender.h>