From a34d1698dc3249289ba797f53ea60e935cbc65d9 Mon Sep 17 00:00:00 2001
From: Daniela Genius <genius@debussy.soc.lip6.fr>
Date: Fri, 29 Jun 2018 14:37:15 +0200
Subject: [PATCH] openlast adopted

---
 ttool.exe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ttool.exe b/ttool.exe
index 940eb9cb27..43ff2a18ea 100755
--- a/ttool.exe
+++ b/ttool.exe
@@ -2,6 +2,6 @@
 
 java -version
 cd bin;
-java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher
+java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher -openlast
 
  
-- 
GitLab