From 6b7f7a0ad56a9500f592180c7b7c91b2b6a9acb9 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 17 Dec 2022 17:36:21 +0000
Subject: Define substitution interfaces.

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

(limited to 'obs.ipkg')

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