From e76c5ab4baffdb5044cb98ec0a7543ab63c0d1b6 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 3 Aug 2021 15:54:46 +0200
Subject: [PATCH] Fixed ambiguous operator overload.

---
 src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
index 7bf56ce4c..da1a32a93 100644
--- a/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
+++ b/src/storm/modelchecker/helper/ltl/SparseLTLHelper.cpp
@@ -377,7 +377,7 @@ namespace storm {
 
                             } else {
                                 // Extract the choices of the REACH-scheduler (choices to reach an acc. MEC) for the MDP-DA product: <s,q> -> choice. The memory structure corresponds to the "last" copy of the DA (_infSets.get().size()).
-                                this->_accInfSets.get()[pState] = {_infSets.get().size()};
+                                this->_accInfSets.get()[pState] = std::set<uint_fast64_t>({_infSets.get().size()});
                                 if (reachScheduler->isDontCare(pState)) {
                                     // Mark the maybe States of the untilProbability scheduler as "dontCare"
                                     _dontCareStates.get()[getMemoryState(product->getAutomatonState(pState), _infSets.get().size())].set(product->getModelState(pState), true);