From 74f0dc953839179aae071dda1ddb924295bc6061 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 2 Jan 2023 15:43:24 +0000
Subject: Add more program structure to type universes.

---
 obs.ipkg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 7346579..df5db66 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -14,10 +14,10 @@ modules
   , Obs.NormalForm
   , Obs.NormalForm.Normalise
   , Obs.Parser
-  , Obs.Sort
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
   , Obs.Typing.Context
   , Obs.Typing.Conversion
+  , Obs.Universe
-- 
cgit v1.2.3