From d59c8879e2476bbc9b1706d3e8b57139a46f4cb8 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 18 Dec 2022 16:30:15 +0000
Subject: Change output to an acknowledgement of success.

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

diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
index eb24d52..5e0903e 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 blk
+  putStrLn "Everything type checks."
-- 
cgit v1.2.3