Merge branch 'dev'

fluentverification · May 24, 2022 · a9e9d85 · a9e9d85
2 parents d937607 + dcc4d97
commit a9e9d85
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/stamina/StaminaModelBuilder.cpp b/src/stamina/StaminaModelBuilder.cpp
@@ -640,10 +640,13 @@ StaminaModelBuilder<ValueType, RewardModelType, StateType>::connectTerminalState
 		StaminaMessages::errorAndExit("Did not add to transition matrix!");
 	}
 }
+namespace stamina {
 
 // Explicitly instantiate the class.
 template class StaminaModelBuilder<double, storm::models::sparse::StandardRewardModel<double>, uint32_t>;
 
+}
+
 template <typename StateType>
 bool stamina::set_contains(std::unordered_set<StateType> current_set, StateType value) {
 	auto search = current_set.find(value);