add missing include

7 years ago · cb15db041c
1 changed files with 1 additions and 0 deletions
--- a/src/storm/modelchecker/prctl/helper/DsMpiUpperRewardBoundsComputer.h
+++ b/src/storm/modelchecker/prctl/helper/DsMpiUpperRewardBoundsComputer.h
@ -1,6 +1,7 @@
 #pragma once

 #include <vector>
+#include <cstdint>

 namespace storm {
    namespace storage {