1 files changed, 1 insertions, 0 deletions
diff --git a/obs.ipkg b/obs.ipkg
index be12a16..987d511 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -9,6 +9,7 @@ options = "--total"
 modules
   = Core.Declarative
   , Core.Environment
+  , Core.Environment.Extension
   , Core.Reduction
   , Core.Term
   , Core.Term.NormalForm