1 files changed, 1 insertions, 1 deletions

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