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.

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

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

diff --git a/src/Obs/Main.idr b/src/Obs/Main.idr
index 4d7c856..7162a20 100644
--- a/src/Obs/Main.idr
+++ b/src/Obs/Main.idr
@@ -9,6 +9,7 @@ import Obs.Parser
 import Obs.Syntax
 import Obs.Term
 import Obs.Typing
+import Obs.Universe
 
 import System
 import System.File
-- 
cgit v1.2.3