From bed4f57bbfd3cde8c4c9be02b25a97dedcd82802 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Sun, 15 Sep 2019 22:16:05 +0200
Subject: [PATCH] fix child count of Opt
---
src/main/jastadd/JastAddAPIExtension.jadd | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/jastadd/JastAddAPIExtension.jadd b/src/main/jastadd/JastAddAPIExtension.jadd
index 8c4e3b8..476bd81 100644
--- a/src/main/jastadd/JastAddAPIExtension.jadd
+++ b/src/main/jastadd/JastAddAPIExtension.jadd
@@ -26,7 +26,7 @@ aspect JastAddAPIExtension {
if (child instanceof JastAddList) {
result += child.numChildren();
} else if (child instanceof Opt) {
- if (getChild(0).numChildren() != 0) {
+ if (child.numChildren() != 0) {
result += 1;
}
} else {
--
GitLab