From 2dd5c65051e88e5d281463a5cbc7224967fd9ac3 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 18 Sep 2018 22:16:29 +0200
Subject: [PATCH] fixed duplicated symbol linker error

---
 src/storm/api/builder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/api/builder.h b/src/storm/api/builder.h
index 8461a52fe..84a0f4e79 100644
--- 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);