From c91005534c220a3688300d872b9f0321712a7ad1 Mon Sep 17 00:00:00 2001
From: Michael Raitza <git@spacefrogg.net>
Date: Tue, 2 Oct 2018 15:53:43 +0200
Subject: [PATCH] nix-scripts: storm -> 02.10.2018

---
 resources/3rdparty/nix-scripts/storm-checker/default.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/resources/3rdparty/nix-scripts/storm-checker/default.nix b/resources/3rdparty/nix-scripts/storm-checker/default.nix
index 6c322500b..306b3e1d7 100644
--- a/resources/3rdparty/nix-scripts/storm-checker/default.nix
+++ b/resources/3rdparty/nix-scripts/storm-checker/default.nix
@@ -23,8 +23,8 @@ in stdenv.mkDerivation {
   src = fetchFromGitHub {
     owner = "moves-rwth";
     repo = "storm";
-    rev = "4378279c6419541e7100270937c849e5c5d53fea";
-    sha256 = "1yhz9642s09izy9qid0a03i4c29cdvrmrrx9wa35dw5vkv6gxp0f";
+    rev = "8332abab58f0c672561f5bbebd585a159852d8cc";
+    sha256 = "02ixywhfkxr8xlcizqbysb1yinsjzl6rc0cjlsg8dz8w2r3m6qix";
   };
 
   buildInputs = [ boost carl cln doxygen gmp ginac glpk hwloc l3pp xercesc ]
@@ -39,7 +39,6 @@ in stdenv.mkDerivation {
 
   postPatch = ''
     sed -f ${l3ppCmakeSed} -i resources/3rdparty/CMakeLists.txt
-    substituteInPlace CMakeLists.txt --replace "include(export)" ""
   '';
 
   meta = with stdenv.lib; {