1 files changed, 1 insertions, 0 deletions
diff --git a/obs.ipkg b/obs.ipkg
index 1ae6e84..e178c88 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -10,6 +10,7 @@ main = Obs.Main
 modules
   = Obs.Abstract
   , Obs.Main
+  , Obs.NormalForm
   , Obs.Parser
   , Obs.Sort
   , Obs.Substitution