From 8c32705b996849c99eb27c40031464e0b08fe385 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 25 Mar 2020 11:00:14 +0100
Subject: [PATCH] Silenced deprecation warnings from newer versions of IntelTBB
 (since version 2020?). These warnings only referred to features we do not use
 and could be addressed by only including the relevant parts of inteltbb

---
 src/storm/adapters/IntelTbbAdapter.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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