fixed duplicated symbol linker error

7 years ago · 2dd5c65051
1 changed files with 1 additions and 1 deletions
--- a/src/storm/api/builder.h
+++ b/src/storm/api/builder.h
@ -31,7 +31,7 @@
 namespace storm {
    namespace api {
        
-        storm::jani::ModelFeatures getSupportedJaniFeatures(storm::builder::BuilderType const& builderType) {
+        inline storm::jani::ModelFeatures getSupportedJaniFeatures(storm::builder::BuilderType const& builderType) {
            storm::jani::ModelFeatures features;
            features.add(storm::jani::ModelFeature::DerivedOperators);
            features.add(storm::jani::ModelFeature::StateExitRewards);