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.

---
 src/Core/Declarative.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Core/Declarative.idr')

diff --git a/src/Core/Declarative.idr b/src/Core/Declarative.idr
index ae31870..ae7e3aa 100644
--- a/src/Core/Declarative.idr
+++ b/src/Core/Declarative.idr
@@ -1,9 +1,9 @@
 module Core.Declarative
 
 import Core.Context
+import Core.Environment
 import Core.Name
 import Core.Term
-import Core.Term.Environment
 import Core.Term.Substitution
 import Core.Thinning
 import Core.Var
-- 
cgit v1.2.3