From 9d1e53cff918a09894f13b1f2704c8565e114760 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Mon, 3 Feb 2014 01:48:36 +0100
Subject: [PATCH] Added a missing include for uint_fast64_t to be recognized as
 a type

Former-commit-id: 4ccde721bb94ff6c5f7f71bc4f24f77a2b0f93ec
---
 src/solver/LpSolver.h | 1 +
 1 file changed, 1 insertion(+)

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 {