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/Reduction.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/Core/Reduction.idr b/src/Core/Reduction.idr
index b50b8c2..0c89abe 100644
--- a/src/Core/Reduction.idr
+++ b/src/Core/Reduction.idr
@@ -2,8 +2,8 @@ module Core.Reduction
 
 import Core.Context
 import Core.Declarative
+import Core.Environment
 import Core.Term
-import Core.Term.Environment
 import Core.Term.NormalForm
 import Core.Term.Substitution
 
-- 
cgit v1.2.3