diff --git a/Parser/spec/PrintingCore.jadd b/Parser/spec/PrintingCore.jadd
index c125a3f2ca42fa6f23a60da2ad337b0e33cc5200..ce3c728f60a80d73c09afe3c7c36d2dc3e25d3ff 100644
--- a/Parser/spec/PrintingCore.jadd
+++ b/Parser/spec/PrintingCore.jadd
@@ -20,6 +20,18 @@ public class PrettyPrinter {
     private boolean useColons;
     private int lineLength;
 
+    public PrettyPrinter(String indenter) {
+
+        s = new StringBuilder();
+
+        this.indenter = indenter;
+        this.uppercase = false;
+        this.indent = 0;
+        this.newline = false;
+        this.bof = true;
+        this.useColons = false;
+        this.lineLength = 84;
+    }
     public PrettyPrinter(String indenter, boolean uppercase) {
 
         s = new StringBuilder();