From bcfe492ea559ae73e8bf153b53dbe25d493c4282 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 18 Dec 2022 16:27:26 +0000
Subject: Change output to formatted terms.

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

(limited to 'src')

diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
index 6142e77..eb24d52 100644
--- a/src/Obs/Main.idr
+++ b/src/Obs/Main.idr
@@ -27,4 +27,4 @@ main = do
   defs <- parseFile file
   blk <- Abstract.printErr $ abstractBlock defs
   ctx <- Typing.printErr $ checkBlock blk
-  putDoc $ pretty ctx
+  putDoc $ pretty blk
-- 
cgit v1.2.3