From c17680f7613ffb25bbc0b23df42d5009884b15f2 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 7 May 2020 18:19:29 -0700
Subject: [PATCH 1/2] fix code that only compiles on macos

---
 src/core/counterexample.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/counterexample.cpp b/src/core/counterexample.cpp
index c5e7b4f..1123157 100644
--- a/src/core/counterexample.cpp
+++ b/src/core/counterexample.cpp
@@ -9,7 +9,7 @@ using namespace storm::counterexamples;
 // Define python bindings
 void define_counterexamples(py::module& m) {
 
-    using FlatSet = boost::container::flat_set<unsigned long long, std::__1::less<unsigned long long>, boost::container::new_allocator<unsigned long long>>;
+    using FlatSet = boost::container::flat_set<uint64_t, std::less<uint64_t>, boost::container::new_allocator<uint64_t>>;
 
     py::class_<FlatSet>(m, "FlatSet", "Container to pass to program")
             .def(py::init<>())

From 5d05bc0e2f72f9e80776cc4e31235b0d0ac6bb44 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 7 May 2020 18:20:11 -0700
Subject: [PATCH 2/2] bitvector already has an iterator, remove comment

---
 src/storage/bitvector.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storage/bitvector.cpp b/src/storage/bitvector.cpp
index ef17e6f..eaf89cd 100644
--- a/src/storage/bitvector.cpp
+++ b/src/storage/bitvector.cpp
@@ -48,7 +48,6 @@ void define_bitvector(py::module& m) {
 
         .def("__str__", &streamToString<BitVector>)
 
-        // TODO (when needed): iterator
     ;
 
 }