Merge branch 'master' into prism-pomdp

5 years ago · a8f891aa06
1 changed files with 2 additions and 1 deletions
--- 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