From 6f4cf1873f9b3dde5b627e31971b2e8e74da7ba0 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <daemontus@gmail.com>
Date: Fri, 28 Dec 2018 14:26:38 +0100
Subject: [PATCH] update ode generator

---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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'