fix infinite sequence recursion

sybila · Mar 29, 2017 · 7a59cf2 · 7a59cf2
1 parent c40f41f
commit 7a59cf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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'
 }