1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index 71451bb..7346579 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -19,4 +19,5 @@ modules
   , Obs.Syntax
   , Obs.Term
   , Obs.Typing
+  , Obs.Typing.Context
   , Obs.Typing.Conversion