From 6e777e88d1ad0eba0c56c255cdbc9e4f0b17685c Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 26 Feb 2016 14:51:03 +0100
Subject: [PATCH] fixed warning for restriction
Former-commit-id: ac2addb5318e7a8862e64d36551d1442725889b1
---
src/storage/dft/elements/DFTRestriction.h | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/storage/dft/elements/DFTRestriction.h b/src/storage/dft/elements/DFTRestriction.h
index f0fef5845..78036528e 100644
--- a/src/storage/dft/elements/DFTRestriction.h
+++ b/src/storage/dft/elements/DFTRestriction.h
@@ -183,7 +183,8 @@ namespace storm {
}
virtual bool checkDontCareAnymore(storm::storage::DFTState<ValueType>& state, DFTStateSpaceGenerationQueues<ValueType>& queues) const override {
-
+ // Actually, it doesnt matter what we return here..
+ return false;
}
virtual DFTElementType type() const override {