diff --git a/src/solver/LpSolver.h b/src/solver/LpSolver.h
index 50488cafb..311ee4b44 100644
--- a/src/solver/LpSolver.h
+++ b/src/solver/LpSolver.h
@@ -3,6 +3,7 @@
 
 #include <string>
 #include <vector>
+#include <cstdint>
 
 namespace storm {
     namespace solver {