From b882d95eb08fea2341bcfa6b41aa06e060cde1ec Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sat, 17 Dec 2022 15:15:29 +0000
Subject: Define abstract syntax.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index d637613..e9d4117 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,3 +12,4 @@ modules
   , Obs.Parser
   , Obs.Sort
   , Obs.Syntax
+  , Obs.Term
-- 
cgit v1.2.3