Fixed typo to void

5 years ago · adfe82d0d6
1 changed files with 1 additions and 1 deletions
--- 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;
                }