1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index e178c88..92a1da7 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -16,3 +16,4 @@ modules
   , Obs.Substitution
   , Obs.Syntax
   , Obs.Term
+  , Obs.Typing