From ce28d5e9e6bc72b3af63a895544fae3e5dd69e6b Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 31 Mar 2023 17:55:51 +0100
Subject: Add modules to package manifest.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index de58b89..45ebe9a 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -5,3 +5,11 @@ sourcedir = "src"
 depends = contrib
 
 options = "--total"
+
+modules
+  = Core.Context
+  , Core.Name
+  , Core.Term
+  , Core.Term.Environment
+  , Core.Thinning
+  , Core.Var
-- 
cgit v1.2.3