diff options
Diffstat (limited to 'minijava/PPrinter.java')
| -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; |