From 9dfeb14f493c9fa4bc2b50ca644e90c16bec05f3 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Mon, 4 Mar 2024 22:56:15 -0700
Subject: Minor cleanup

---
 minijava/PPrinter.java | 1 -
 1 file changed, 1 deletion(-)

(limited to 'minijava/PPrinter.java')

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