From c5274017af760a1575742561880d8fbe5482ee4f Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Mon, 29 Jun 2020 11:11:54 +0200
Subject: [PATCH] Fix for constant removal in random
---
src/main/java/avatartranslator/AvatarBlock.java | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/main/java/avatartranslator/AvatarBlock.java b/src/main/java/avatartranslator/AvatarBlock.java
index ae22ca1c4e..a5c3f96d2f 100644
--- a/src/main/java/avatartranslator/AvatarBlock.java
+++ b/src/main/java/avatartranslator/AvatarBlock.java
@@ -797,6 +797,10 @@ public class AvatarBlock extends AvatarElement implements AvatarStateMachineOwne
}
}
}
+ } else if (elt instanceof AvatarRandom) {
+ if (((AvatarRandom) elt).getVariable().compareTo(attr.name) == 0) {
+ toKeep = true;
+ }
}
if (toKeep) {
break;
--
GitLab