Resolved bug #769

nl-utwente-groove · Apr 7, 2024 · 979d5c9 · 979d5c9
1 parent 306a035
commit 979d5c9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main/java/nl/utwente/groove/grammar/model/RuleModel.java b/src/main/java/nl/utwente/groove/grammar/model/RuleModel.java
@@ -24,6 +24,7 @@
 import static nl.utwente.groove.grammar.aspect.AspectKind.PARAM_BI;
 import static nl.utwente.groove.grammar.aspect.AspectKind.PARAM_IN;
 import static nl.utwente.groove.grammar.aspect.AspectKind.PRODUCT;
+import static nl.utwente.groove.grammar.aspect.AspectKind.REMARK;
 import static nl.utwente.groove.grammar.aspect.AspectKind.Category.ROLE;
 import static nl.utwente.groove.grammar.aspect.AspectKind.Category.SORT;
 import static nl.utwente.groove.grammar.model.ResourceKind.GROOVY;
@@ -899,14 +900,14 @@ private SortedMap<Index,Level1> buildLevels1(SortedSet<Index> indexSet) throws F
             }
             // add nodes to nesting data structures
             for (AspectNode node : this.source.nodeSet()) {
-                if (!node.has(Category.NESTING)) {
+                if (!node.has(REMARK) && !node.has(Category.NESTING)) {
                     getLevel(result, node).addNode(node);
                 }
             }
             // add edges to nesting data structures
             for (AspectEdge edge : this.source.edgeSet()) {
                 try {
-                    if (edge.has(CONNECT) || !edge.has(Category.NESTING)) {
+                    if (!edge.has(REMARK) && (edge.has(CONNECT) || !edge.has(Category.NESTING))) {
                         getLevel(result, edge).addEdge(edge);
                     }
                 } catch (FormatException exc) {