diff options
| author | geno <gabriele.genovese2@studio.unibo.it> | 2024-06-27 13:08:54 +0200 |
|---|---|---|
| committer | geno <gabriele.genovese2@studio.unibo.it> | 2024-06-27 13:08:54 +0200 |
| commit | 673117132daa9c4fdd103189b5cd9a32a3731f5a (patch) | |
| tree | 5ff72841ca65e07a2c8ee70525bb8dabbc93c7d6 /src/ast | |
| parent | 8101f3f591f025c808084093d3f84b0eca0e67e5 (diff) | |
remove duplicates
Diffstat (limited to 'src/ast')
| -rw-r--r-- | src/ast/nodes/AtomNode.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ast/nodes/AtomNode.java b/src/ast/nodes/AtomNode.java index ceafc07..58cd7f9 100644 --- a/src/ast/nodes/AtomNode.java +++ b/src/ast/nodes/AtomNode.java @@ -27,7 +27,7 @@ public class AtomNode implements Node { var errors = new ArrayList<SemanticError>(); if ((this.typeCheck() instanceof AtomType) && ST.nslookup(this.getId()) < 0) { - errors.add(new SemanticError("'" + this.getId() + "' is not defined.")); + errors.add(new SemanticError("name '" + this.getId() + "' is not defined.")); } return errors; |