diff --git a/src/parser/ExpressionParser.cpp b/src/parser/ExpressionParser.cpp index bb143a2c0..6459d7a9d 100644 --- a/src/parser/ExpressionParser.cpp +++ b/src/parser/ExpressionParser.cpp @@ -300,9 +300,9 @@ namespace storm { storm::expressions::Expression ExpressionParser::createTrueExpression() const { if (this->createExpressions) { - return storm::expressions::Expression::createFalse(); - } else { return storm::expressions::Expression::createTrue(); + } else { + return storm::expressions::Expression::createFalse(); } }