From 12709f1625250752c6acb02c836c1bacd5e79a8c Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 19 Mar 2019 10:14:07 +0100
Subject: [PATCH] Added parentheses to silence clang warning
---
src/storm/storage/jani/JSONExporter.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index 07cf97438..947bf128d 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -825,9 +825,9 @@ namespace storm {
varOps[i] = constraint.getOperand(i).isVariable() && constraint.getOperand(i).getBaseExpression().asVariableExpression().getVariable() == var;
}
storm::expressions::Expression boundExpr = varOps[0] ? constraint.getOperand(1) : constraint.getOperand(0);
- if ((leq && varOps[0]) || geq && varOps[1]) {
+ if ((leq && varOps[0]) || (geq && varOps[1])) {
typeDesc["upper-bound"] = buildExpression(boundExpr, constants);
- } else if ((leq && varOps[1] || geq && varOps[0])) {
+ } else if ((leq && varOps[1]) || (geq && varOps[0])) {
typeDesc["lower-bound"] = buildExpression(boundExpr, constants);
} else {
STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Jani Export for constant constraint " << constraint << " is not supported.");