From d67579cdb40831a5d029d11ab456c73955b586ce Mon Sep 17 00:00:00 2001
From: Marco Herzl <herzl@student.tugraz.at>
Date: Fri, 13 May 2022 10:16:18 +0200
Subject: [PATCH] fix: conversion from unsigned long to uint_64 when using
 clang

---
 src/storm/solver/Multiplier.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/solver/Multiplier.h b/src/storm/solver/Multiplier.h
index fc300ff4b..dff657499 100644
--- a/src/storm/solver/Multiplier.h
+++ b/src/storm/solver/Multiplier.h
@@ -121,7 +121,7 @@ namespace storm {
              */
             void repeatedMultiplyAndReduce(Environment const& env, OptimizationDirection const& dir, std::vector<ValueType>& x, std::vector<ValueType> const* b, uint64_t n, storm::storage::BitVector const* dirOverride = nullptr) const;
 
-            void repeatedMultiplyAndReduceWithChoices(const Environment &env, const OptimizationDirection &dir, std::vector<ValueType> &x, const std::vector<ValueType> *b, uint64_t n, const storage::BitVector *dirOverride, std::vector<ValueType> &choiceValues, std::vector<unsigned long> rowGroupIndices) const;
+            void repeatedMultiplyAndReduceWithChoices(const Environment &env, const OptimizationDirection &dir, std::vector<ValueType> &x, const std::vector<ValueType> *b, uint64_t n, const storage::BitVector *dirOverride, std::vector<ValueType> &choiceValues, std::vector<uint64_t> rowGroupIndices) const;
 
             /*!
              * Multiplies the row with the given index with x and adds the result to the provided value