diff --git a/CMakeLists.txt b/CMakeLists.txt
index bda527f6cff36c76e9dbfb9d827d8470478d9186..668dedcaa5902124ee1a4422ca68e42ac6c5b65e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -33,7 +33,7 @@ if(NOT SPOT_LIBRARY)
 
   ExternalProject_Add(SpotLibrary
     PREFIX                ${SPOT_DIR}
-    URL                   http://www.lrde.epita.fr/dload/spot/spot-2.8.5.tar.gz
+    URL                   http://www.lrde.epita.fr/dload/spot/spot-2.8.7.tar.gz
     DOWNLOAD_NO_PROGRESS  YES
     CONFIGURE_COMMAND     ./configure --disable-doxygen --disable-python --enable-silent-rules --silent --prefix=<INSTALL_DIR>
     BUILD_COMMAND         make -j
@@ -42,11 +42,11 @@ if(NOT SPOT_LIBRARY)
 
   include_directories("${SPOT_DIR}/include")
 else ()
-  message(STATUS "Found spot: ${SPOT_LIBRARY}")
-  message(STATUS "Found bddx: ${BDDX_LIBRARY}")
+ message(STATUS "Found spot: ${SPOT_LIBRARY}")
+ message(STATUS "Found bddx: ${BDDX_LIBRARY}")
 
-  find_path(SPOT_INCLUDE_PATH "spot")
-  include_directories("${SPOT_INCLUDE_PATH}")
+ find_path(SPOT_INCLUDE_PATH "spot")
+ include_directories("${SPOT_INCLUDE_PATH}")
 endif()
 
 # add source folder
diff --git a/src/SogKripkeTh.cpp b/src/SogKripkeTh.cpp
index b11c54288f3ac4e6cf7e9cfc4384431ed79ef1fa..9cb4ccc9487232c2f22c8330ccc70cf8a8bc300e 100644
--- a/src/SogKripkeTh.cpp
+++ b/src/SogKripkeTh.cpp
@@ -56,13 +56,13 @@ SogKripkeIteratorTh* SogKripkeTh::succ_iter(const spot::state* s) const {
     auto ss = static_cast<const SogKripkeStateTh*>(s);
     LDDState *aggregate=ss->getLDDState();
     bdd cond = state_condition(ss);
-    if (iter_cache_)
+    /*if (iter_cache_)
     {
       auto it = static_cast<SogKripkeIteratorTh*>(iter_cache_);
       iter_cache_ = nullptr;    // empty the cache
       it->recycle(aggregate, cond);
       return it;
-    }
+    }*/
   return new SogKripkeIteratorTh(aggregate,cond);