From 9452d3aee15b8943684828320324b3da37efb397 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 18 Dec 2022 21:09:33 +0000
Subject: Introduce better logging.

Led to immediate bug fixes for Pi types.
---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 92a1da7..bee4872 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -9,6 +9,7 @@ main = Obs.Main
 
 modules
   = Obs.Abstract
+  , Obs.Logging
   , Obs.Main
   , Obs.NormalForm
   , Obs.Parser
-- 
cgit v1.2.3