From 2c74c68aedff4e68382e04739ec24a90b77cac3d Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Tue, 22 Mar 2016 12:03:49 +0000
Subject: [PATCH] correcting bug on proverif generation from avatar design
diagrams
---
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 e5ed370137..d7b9456dab 100755
--- a/src/ui/GTURTLEModeling.java
+++ b/src/ui/GTURTLEModeling.java
@@ -641,7 +641,7 @@ public class GTURTLEModeling {
t2a = new TML2Avatar(tmap);
avatarspec = t2a.generateAvatarSpec(loopLimit);
}
- else {
+ else if (avatarspec == null){
return false;
}
--
GitLab