From cedc6109895a53ce6ed667e0391b232bf5463387 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 15 Jun 2023 16:09:42 +0100
Subject: WIP : use smarter weakenings.

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

(limited to 'church-eval.ipkg')

diff --git a/church-eval.ipkg b/church-eval.ipkg
index 2456685..5ef6ae7 100644
--- a/church-eval.ipkg
+++ b/church-eval.ipkg
@@ -7,7 +7,9 @@ options = "--total"
 depends = contrib
 
 modules
-  = Thinning
+  = Subst
+  , Thinning
+  , Total.Encoded.Test
   , Total.Encoded.Util
   , Total.LogRel
   , Total.NormalForm
-- 
cgit v1.2.3