diff --git a/src/storm/adapters/IntelTbbAdapter.h b/src/storm/adapters/IntelTbbAdapter.h index fb4d7eb72..7a33da4ce 100644 --- a/src/storm/adapters/IntelTbbAdapter.h +++ b/src/storm/adapters/IntelTbbAdapter.h @@ -19,7 +19,8 @@ #endif #ifdef STORM_HAVE_INTELTBB -#include "tbb/tbb.h" +#include "tbb/parallel_for.h" +#include "tbb/blocked_range.h" #include "tbb/tbb_stddef.h" #endif