From 5f83999f483e241158706522a35364ba32f7f203 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 15 Apr 2023 16:16:35 +0100
Subject: Define Term substitution.

---
 obs.ipkg | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'obs.ipkg')

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
-- 
cgit v1.2.3