From fe1f03b7cd7cfeb9992a968b5a5cbebe8fbe9b7d Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 14 Apr 2023 17:42:31 +0100
Subject: Define Thinnings.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index c225c40..a5e5bb9 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -8,3 +8,4 @@ options = "--total"
 
 modules
   = Core.Term
+  , Core.Thinning
-- 
cgit v1.2.3