From bf94b004cc22609390ce266d71968e2aa8a53123 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 22 Sep 2016 23:33:50 +0200
Subject: [PATCH] collect variables bug solved

Former-commit-id: fd697827d6c4edf5d6d500735ed5f08a92891ab5 [formerly ffe0fab544e525e93705d32ba623a4b46556d72e]
Former-commit-id: b7ff7b608ca0faa8f7f2380ef2de602897b5acd0
---
 src/storage/expressions/UnaryExpression.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<storm::expressions::Variable>& variables) const {
-			return;
+			return this->getOperand()->gatherVariables(variables);
 		}
         
         std::shared_ptr<BaseExpression const> const& UnaryExpression::getOperand() const {