diff options
| author | geno <gabriele.genovese2@studio.unibo.it> | 2024-06-30 11:36:37 +0000 |
|---|---|---|
| committer | geno <gabriele.genovese2@studio.unibo.it> | 2024-06-30 11:36:37 +0000 |
| commit | afff6a80cd58f7787efa1398f7c8cbdce8989323 (patch) | |
| tree | e6021201d6e7049da640687c7ce61c898aaea4d8 /src/ast/types/AtomType.java | |
| parent | aaa97e2e41c0aa17a6f99099dd39bb73a935fe02 (diff) | |
fixed warnings, better formatting, final added where possible
Diffstat (limited to 'src/ast/types/AtomType.java')
| -rw-r--r-- | src/ast/types/AtomType.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ast/types/AtomType.java b/src/ast/types/AtomType.java index 0387ec1..fc1c69e 100644 --- a/src/ast/types/AtomType.java +++ b/src/ast/types/AtomType.java @@ -2,9 +2,10 @@ package ast.types; /** * An tom type. - * TODO: do I need to use this one? */ public class AtomType extends Type { + + @Override public String toPrint(String prefix) { return prefix + "Atom\n"; } |