diff options
Diffstat (limited to 'minijava/PPrinter.java')
| -rw-r--r-- | minijava/PPrinter.java | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/minijava/PPrinter.java b/minijava/PPrinter.java index 7dd484b..aed7ec4 100644 --- a/minijava/PPrinter.java +++ b/minijava/PPrinter.java @@ -1,8 +1,5 @@ -// -// Generated by JTB 1.3.2 -// - package minijava; + import syntaxtree.*; import visitor.*; import java.util.*; |