1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index a0f8e9c..b748825 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -10,6 +10,7 @@ modules
   = Core.Context
   , Core.Declarative
   , Core.Name
+  , Core.Reduction
   , Core.Term
   , Core.Term.Environment
   , Core.Term.Substitution