From 14c792d7efadd524db63c68d92100aa6d62ac43d Mon Sep 17 00:00:00 2001
From: L <letitia.li@telecom-paristech.fr>
Date: Fri, 28 Oct 2016 16:34:58 +0200
Subject: [PATCH] Attempt to fix UPPAAL safety pragma
---
src/ui/GTURTLEModeling.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ui/GTURTLEModeling.java b/src/ui/GTURTLEModeling.java
index da1358f1ac..172d2adce8 100755
--- a/src/ui/GTURTLEModeling.java
+++ b/src/ui/GTURTLEModeling.java
@@ -7989,7 +7989,7 @@ public class GTURTLEModeling {
message.setValue("Message");
abd.addComponent(message, xpos, ypos, false,true);
-
+ xpos+=100;
AvatarBDDataType key = new AvatarBDDataType(xpos, ypos, xpos, xpos*2, ypos, ypos*2, false, null,abd);
key.setValue("Key");
TAttribute attr = new TAttribute(2, "data", "0", 8);
--
GitLab