From a72f82a6d411f32803ca316fd8c4f8c5266597ec Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 15 Nov 2017 11:37:23 +0100
Subject: [PATCH] fixed typo
---
src/storm/storage/BitVectorHashMap.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/storage/BitVectorHashMap.cpp b/src/storm/storage/BitVectorHashMap.cpp
index 019023f04..7bfe1595e 100644
--- a/src/storm/storage/BitVectorHashMap.cpp
+++ b/src/storm/storage/BitVectorHashMap.cpp
@@ -209,7 +209,7 @@ namespace storm {
}
}
- return std::make_tuple(false, bucket);
+ return std::make_pair(false, bucket);
}
template<class ValueType, class Hash>