diff --git a/Parser/spec/ASTPrinting.jadd b/Parser/spec/ASTPrinting.jadd
index ba50aafb29b795b3012f2b65f1b1a26efdb939e5..9151a9179f1c8f13812a7deb678a6c1df9230c14 100644
--- a/Parser/spec/ASTPrinting.jadd
+++ b/Parser/spec/ASTPrinting.jadd
@@ -91,4 +91,14 @@ aspect Debug {
         }
         return b;
     }
-}
\ No newline at end of file
+
+    protected String ASTNode.getPrettyPrintLine() {
+        PrettyPrinter sw = new PrettyPrinter("  ", false);
+        try {
+            this.prettyPrint(sw);
+            return sw.toString().trim().split("\n")[0];
+        } catch (RuntimeException e) {
+            return e.getMessage();
+        }
+    }
+}