1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index b748825..d0f8c2f 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -13,6 +13,7 @@ modules
   , Core.Reduction
   , Core.Term
   , Core.Term.Environment
+  , Core.Term.NormalForm
   , Core.Term.Substitution
   , Core.Thinning
   , Core.Var