diff --git a/build.gradle b/build.gradle
index 5414cf1..bcd267f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -22,7 +22,7 @@ apply plugin: 'application'
 
 group = "com.github.sybila"
 archivesBaseName = "pithya"
-version = '1.3.4'
+version = '1.3.5'
 
 repositories {
     mavenCentral()
@@ -44,7 +44,7 @@ dependencies {
     //ODE and CTL modules do not propagate this dependency, because it's part of the plugin
     compile 'org.antlr:antlr4-runtime:4.6'
     //BioDivine modules. We list all, since that will override possible old version in transitive dependencies
-    compile 'com.github.sybila:ode-generator:1.3.3-2'
+    compile 'com.github.sybila:ode-generator:1.4.1'
     compile 'com.github.sybila:ctl-model-checker:2.1.2'
     compile 'com.github.sybila:ctl-parser:2.2.3'
     compile 'args4j:args4j:2.33'