From 92f25c1fa70b7b38643f9535018fb86173133077 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <daniel.basgoeze@rwth-aachen.de>
Date: Fri, 3 Apr 2020 15:37:03 +0200
Subject: [PATCH] Use standard integer types instead of size_t

---
 src/storm-dft/modelchecker/dft/DFTASFChecker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 5c7db0248..cdf9fc519 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -250,12 +250,12 @@ namespace storm {
             std::vector<uint64_t> tmpVars;
             size_t k = 0;
             // Generate all permutations of k out of n
-            size_t combination = smallestIntWithNBitsSet(static_cast<size_t>(vot->threshold()));
+            uint64_t combination = smallestIntWithNBitsSet(static_cast<uint64_t>(vot->threshold()));
             do {
                 // Construct selected children from combination
                 std::vector<uint64_t> combinationChildren;
                 STORM_LOG_ASSERT(vot->nrChildren() < 64, "Too many children of a VOT Gate.");
-                for (size_t j = 0; j < vot->nrChildren(); ++j) {
+                for (uint8_t j = 0; j < static_cast<uint8_t>(vot->nrChildren()); ++j) {
                     if (combination & (1ul << j)) {
                         combinationChildren.push_back(childVarIndices.at(j));
                     }