1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index 93c47b7..1ae6e84 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,5 +12,6 @@ modules
   , Obs.Main
   , Obs.Parser
   , Obs.Sort
+  , Obs.Substitution
   , Obs.Syntax
   , Obs.Term