From de4275d9728104167726bda4d260c197a40ff3d7 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 12 Jan 2023 17:55:43 +0000
Subject: Slightly prettify pretty printing.

---
 src/Obs/Pretty.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Obs/Pretty.idr')

diff --git a/src/Obs/Pretty.idr b/src/Obs/Pretty.idr
index 656f352..f32542e 100644
--- a/src/Obs/Pretty.idr
+++ b/src/Obs/Pretty.idr
@@ -33,7 +33,7 @@ prettyLambda d name body =
 export
 prettyApp : (prec : Prec) -> (head : Doc ann) -> (tail : List (Doc ann)) -> Doc ann
 prettyApp d head tail =
-  parenthesise (d >= App) $ align $ group $ vsep (align head :: map (hang 2) tail)
+  parenthesise (d >= App) $ hang 2 $ group $ vsep (align head :: tail)
 
 -- first and second are rendered Open
 export
-- 
cgit v1.2.3