From 5313058dcdd7252dbaa5615df2494368fe7c32f9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 15 Apr 2023 17:06:52 +0100
Subject: Define typing environments.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 4876713..f806c52 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -7,7 +7,8 @@ depends = contrib
 options = "--total"
 
 modules
-  = Core.Term
+  = Core.Environment
+  , Core.Term
   , Core.Term.Substitution
   , Core.Term.Thinned
   , Core.Thinning
-- 
cgit v1.2.3