diff --git a/src/utility/cli.h b/src/utility/cli.h index fd1c2a496..54da82cb4 100644 --- a/src/utility/cli.h +++ b/src/utility/cli.h @@ -8,6 +8,7 @@ #include #include +#include "storm-config.h" // Includes for the linked libraries and versions header. #ifdef STORM_HAVE_INTELTBB # include "tbb/tbb_stddef.h"