diff --git a/grid/common/defaultindexsets.hh b/grid/common/defaultindexsets.hh index 59503f0b904e431a72c4290a264bed48461bb6d2..44a5081e0e233f1ccb4a8775bfdb565e41d25fa8 100644 --- a/grid/common/defaultindexsets.hh +++ b/grid/common/defaultindexsets.hh @@ -3,6 +3,7 @@ #ifndef __DUNE_DEFAULTINDEXSETS_HH__ #define __DUNE_DEFAULTINDEXSETS_HH__ +#include <vector> #include <dune/common/misc.hh> #include <dune/common/array.hh> #include <dune/grid/common/grid.hh>