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