From a9230817da88305b16d658a056e72bef159b8f94 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 11 Sep 2024 13:59:17 +0100
Subject: Define terms.

---
 inky.ipkg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'inky.ipkg')

diff --git a/inky.ipkg b/inky.ipkg
index 43e6e51..4de3027 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -7,6 +7,8 @@ options = "--total"
 depends = contrib
 
 modules
-  = Data.These.Decidable
+  = Data.Maybe.Decidable
+  , Data.These.Decidable
+  , Inky.Term
   , Inky.Thinning
   , Inky.Type
-- 
cgit v1.2.3