diff --git a/src/storm/storage/jani/Model.cpp b/src/storm/storage/jani/Model.cpp
index 79a37d384..1f219a60d 100644
--- a/src/storm/storage/jani/Model.cpp
+++ b/src/storm/storage/jani/Model.cpp
@@ -117,6 +117,10 @@ namespace storm {
         ModelType const& Model::getModelType() const {
             return modelType;
         }
+
+        void Model::setModelType(ModelType const& newModelType) {
+            modelType = newModelType;
+        }
         
         ModelFeatures const& Model::getModelFeatures() const {
             return modelFeatures;
diff --git a/src/storm/storage/jani/Model.h b/src/storm/storage/jani/Model.h
index 401d1a54a..36cae30ca 100644
--- a/src/storm/storage/jani/Model.h
+++ b/src/storm/storage/jani/Model.h
@@ -79,7 +79,13 @@ namespace storm {
              * Retrieves the type of the model.
              */
             ModelType const& getModelType() const;
-            
+
+            /*!
+             * Changes (only) the type declaration of the model. Notice that this operation should be applied with great care, as it may break several algorithms.
+             * The operation is useful to e.g. make a deterministic model into a non-deterministic one.
+             */
+            void setModelType(ModelType const&);
+
             /*!
              * Retrieves the enabled model features
              */