From adfe82d0d678fe7b36b69c5701fa6dba31b8099f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 4 Jul 2019 10:18:12 +0200
Subject: [PATCH] Fixed typo to void

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

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;
                 }