diff --git a/src/storm/builder/DdJaniModelBuilder.cpp b/src/storm/builder/DdJaniModelBuilder.cpp
index 27e1e586e..a9b4f62b9 100644
--- a/src/storm/builder/DdJaniModelBuilder.cpp
+++ b/src/storm/builder/DdJaniModelBuilder.cpp
@@ -733,7 +733,7 @@ namespace storm {
                     // Intentionally left empty.
                 }
                 
-                bool setMarkovian(bool markovian) {
+                void setMarkovian(bool markovian) {
                     this->markovian = markovian;
                 }