From 36fdf8cff00e24b3dbaaa7883259eb2891817dc7 Mon Sep 17 00:00:00 2001
From: Thibaut Lienart <tlienart@me.com>
Date: Mon, 21 Oct 2019 19:20:16 +0100
Subject: [PATCH] Update PrettyPrinting.jl

---
 src/PrettyPrinting.jl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/PrettyPrinting.jl b/src/PrettyPrinting.jl
index 1d7e195..e7c7864 100644
--- a/src/PrettyPrinting.jl
+++ b/src/PrettyPrinting.jl
@@ -6,7 +6,8 @@
 module PrettyPrinting
 
 export
-    pprint
+    pprint,
+    pprintln
 
 import Base:
     IndexStyle,
@@ -38,4 +39,7 @@ function pprint(io::IO, lt::Layout)
     nothing
 end
 
+pprintln(io, s) = (pprint(io, s); println(io))
+pprintln(s) = pprintln(stdout,s)
+
 end