From 14279fa92481304e594e092e702f6925e7142ac5 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sun, 2 Apr 2023 11:52:53 +0100
Subject: Move Environment module.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index d0f8c2f..b6906d5 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -9,10 +9,10 @@ options = "--total"
 modules
   = Core.Context
   , Core.Declarative
+  , Core.Environment
   , Core.Name
   , Core.Reduction
   , Core.Term
-  , Core.Term.Environment
   , Core.Term.NormalForm
   , Core.Term.Substitution
   , Core.Thinning
-- 
cgit v1.2.3