update ode generator

sybila · Dec 28, 2018 · 6f4cf18 · 6f4cf18
1 parent 26d299e
commit 6f4cf18
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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'