silence warning due to time being returned as an int

4 years ago · c01e0c11f5
1 changed files with 1 additions and 1 deletions
--- a/src/storm-pomdp/generator/NondeterministicBeliefTracker.cpp
+++ b/src/storm-pomdp/generator/NondeterministicBeliefTracker.cpp
@ -410,7 +410,7 @@ namespace storm {
            storm::utility::Stopwatch trackTimer(true);
            for (auto const& belief : beliefs) {
                belief.update(newObservation, newBeliefs);
                if (options.trackTimeOut > 0 && trackTimer.getTimeInMilliseconds() > options.trackTimeOut) {
                if (options.trackTimeOut > 0 && static_cast<uint64_t>(trackTimer.getTimeInMilliseconds()) > options.trackTimeOut) {
                    return false;
                }
            }