From aaa213b22102561b15752300da4afa6c0057f229 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Tue, 12 Mar 2019 11:13:35 +0100
Subject: [PATCH] Resolving bug on transformation between avatar graphical
guard and textual guards
---
src/main/java/ui/AvatarDesignPanelTranslator.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/ui/AvatarDesignPanelTranslator.java b/src/main/java/ui/AvatarDesignPanelTranslator.java
index a489ffb273..1b99863898 100644
--- a/src/main/java/ui/AvatarDesignPanelTranslator.java
+++ b/src/main/java/ui/AvatarDesignPanelTranslator.java
@@ -1574,9 +1574,9 @@ public class AvatarDesignPanelTranslator {
final AvatarSMDConnector connector) {
final AvatarStateMachineOwner block = transition.getBlock();
final String guardStr = modifyString(connector.getEffectiveGuard());
- TraceManager.addDev("Effective guard:" + guardStr);
+ //TraceManager.addDev("Effective guard:" + guardStr);
final AvatarGuard guard = AvatarGuard.createFromString(block, guardStr);
- TraceManager.addDev("Avatarguard:" + guard);
+ //TraceManager.addDev("Avatarguard:" + guard);
final int error;
if (guard.isElseGuard()) {
--
GitLab