From 9e2bd48420feba7c7752fd98cdf10fb67f56edc8 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 15 Apr 2023 17:07:32 +0100
Subject: Define declarative typing rules.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index f806c52..1dd3f73 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -7,7 +7,8 @@ depends = contrib
 options = "--total"
 
 modules
-  = Core.Environment
+  = Core.Declarative
+  , Core.Environment
   , Core.Term
   , Core.Term.Substitution
   , Core.Term.Thinned
-- 
cgit v1.2.3