Add missing include (#525)

moves-rwth · Apr 23, 2024 · 5885efd · 5885efd
1 parent d2881a0
commit 5885efd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/storm/storage/jani/JaniScopeChanger.h b/src/storm/storage/jani/JaniScopeChanger.h
@@ -1,7 +1,9 @@
 #pragma once
 
+#include <cstdint>
 #include <optional>
 #include <vector>
+
 #include "storm/utility/OptionalRef.h"
 
 namespace storm {