1 files changed, 2 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index a5e5bb9..4876713 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -8,4 +8,6 @@ options = "--total"
 
 modules
   = Core.Term
+  , Core.Term.Substitution
+  , Core.Term.Thinned
   , Core.Thinning