From c965633202f011b552f617250337e6220e20e2d7 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sun, 23 Apr 2023 14:06:18 +0100
Subject: Rename for clarity.

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

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 24aaf08..640f066 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -11,7 +11,7 @@ modules
   , Core.Environment
   , Core.Environment.Extension
   , Core.Generic
-  , Core.Reducible
+  , Core.LogRel
   , Core.Reduction
   , Core.Term
   , Core.Term.NormalForm
-- 
cgit v1.2.3