From 673117132daa9c4fdd103189b5cd9a32a3731f5a Mon Sep 17 00:00:00 2001
From: geno <gabriele.genovese2@studio.unibo.it>
Date: Thu, 27 Jun 2024 13:08:54 +0200
Subject: remove duplicates

---
 src/ast/nodes/AtomNode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ast/nodes')

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;
-- 
cgit v1.2.3-18-g5258