1 files changed, 1 insertions, 1 deletions
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