PcaaWeightVectorChecker: Initializing weightedPrecision.

7 years ago · 19cca3585f
1 changed files with 1 additions and 1 deletions
--- a/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/PcaaWeightVectorChecker.cpp
@ -12,7 +12,7 @@ namespace storm {
        namespace multiobjective {
            
            template <typename ModelType>
-            PcaaWeightVectorChecker<ModelType>::PcaaWeightVectorChecker(std::vector<Objective<ValueType>> const& objectives) : objectives(objectives) {
+            PcaaWeightVectorChecker<ModelType>::PcaaWeightVectorChecker(std::vector<Objective<ValueType>> const& objectives) : objectives(objectives), weightedPrecision(storm::utility::zero<ValueType>()) {
                // Intentionally left empty
            }