From 084bb14acd9984872f331c482965d7f2a9b39d0b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 16 Jun 2014 09:23:43 +0200
Subject: [PATCH] Bugfix for expression parser.
Former-commit-id: 2b03856c86bf8650145f472710be0d860221213c
---
src/parser/ExpressionParser.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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();
}
}