diff options
| author | bd-912 <bdunahu@colostate.edu> | 2024-03-04 22:56:15 -0700 |
|---|---|---|
| committer | bd-912 <bdunahu@colostate.edu> | 2024-03-04 22:56:15 -0700 |
| commit | 9dfeb14f493c9fa4bc2b50ca644e90c16bec05f3 (patch) | |
| tree | def4a051860862786caed01e504aa5bef685b498 /minijava | |
| parent | 12f1e24766b061e00663e1934b76f64cd79c8fea (diff) | |
Minor cleanup
Diffstat (limited to 'minijava')
| -rw-r--r-- | minijava/PPrinter.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/minijava/PPrinter.java b/minijava/PPrinter.java index e8528ab..7dd484b 100644 --- a/minijava/PPrinter.java +++ b/minijava/PPrinter.java @@ -31,7 +31,6 @@ public class PPrinter<R,A> extends GJDepthFirst<R,A> { * f1 -> ( TypeDeclaration() )* * f2 -> <EOF> */ - @SuppressWarnings("unchecked") public R visit(Goal n, A argu) { this.printNode(n, argu); R _ret=null; |