From d61d1bd3fecbac7b7796f5b58a25a4c8e2f25f65 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 10 Oct 2019 10:13:59 +0200
Subject: [PATCH] Fixed type uintX -> uintX_t

---
 src/storm/builder/ExplicitModelBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/builder/ExplicitModelBuilder.cpp b/src/storm/builder/ExplicitModelBuilder.cpp
index 71a2681de..cd87af9a6 100644
--- a/src/storm/builder/ExplicitModelBuilder.cpp
+++ b/src/storm/builder/ExplicitModelBuilder.cpp
@@ -349,7 +349,7 @@ namespace storm {
                         bool foundActionSet = false;
                         std::vector<std::string> actionNames;
                         bool addedAnonymousAction = false;
-                        for (uint64 choice = modelComponents.transitionMatrix.getRowGroupIndices()[bitVectorIndexPair.second];
+                        for (uint64_t choice = modelComponents.transitionMatrix.getRowGroupIndices()[bitVectorIndexPair.second];
                              choice < modelComponents.transitionMatrix.getRowGroupIndices()[bitVectorIndexPair.second +
                                                                                             1]; ++choice) {
                             if (modelComponents.choiceLabeling.get().getLabelsOfChoice(choice).empty()) {