From a339e63bce37c4665c152a2b71c8da974a2f588f Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 24 Aug 2018 16:43:03 +0200
Subject: [PATCH] translate definitions starting with ANIMATION_ or
CUSTOM_GRAPH_
---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index 949138d..93b8035 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -54,7 +54,7 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
String defName = opDef.getName().toString();
// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx,
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION")
- || defName.startsWith("ANIMATION_IMG") || defName.startsWith("SET_PREF_")) {
+ || defName.startsWith("ANIMATION_")|| defName.startsWith("CUSTOM_GRAPH_") || defName.startsWith("SET_PREF_")) {
bDefinitionsSet.add(opDef);
}
}
--
GitLab