From 7a59cf2f30cd73a29b3806dc70c23b727aa34793 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <daemontus@gmail.com>
Date: Wed, 29 Mar 2017 18:22:40 +0200
Subject: [PATCH] fix infinite sequence recursion

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index b2fcc3f..437e66f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -38,7 +38,7 @@ dependencies {
     compile "org.jetbrains.kotlin:kotlin-stdlib:$kotlin_version"
     compile 'args4j:args4j:2.33'
     // BioDivine modules.
-    compile 'com.github.sybila:ode-generator:e9dace3210'    //latest commit with some minor changes
+    compile 'com.github.sybila:ode-generator:f3fe757320'    //latest commit with some minor changes
     compile 'com.github.sybila:ctl-model-checker:2.1.2'
 }