From 26d299e1db58c5f0a4828474693c83a7099f540d Mon Sep 17 00:00:00 2001
From: Samuel Pastva <daemontus@gmail.com>
Date: Mon, 23 Jul 2018 17:34:15 +0200
Subject: [PATCH] update ode generator

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

diff --git a/build.gradle b/build.gradle
index b4dec99..5414cf1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -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'
+    compile 'com.github.sybila:ode-generator:1.3.3-2'
     compile 'com.github.sybila:ctl-model-checker:2.1.2'
     compile 'com.github.sybila:ctl-parser:2.2.3'
     compile 'args4j:args4j:2.33'