diff --git a/src/storage/expressions/UnaryExpression.cpp b/src/storage/expressions/UnaryExpression.cpp index 1223368fd..e24a726e0 100644 --- a/src/storage/expressions/UnaryExpression.cpp +++ b/src/storage/expressions/UnaryExpression.cpp @@ -18,7 +18,7 @@ namespace storm { } void UnaryExpression::gatherVariables(std::set& variables) const { - return; + return this->getOperand()->gatherVariables(variables); } std::shared_ptr const& UnaryExpression::getOperand() const {