1 files changed, 1 insertions, 0 deletions

diff --git a/obs.ipkg b/obs.ipkg
index 640f066..df7b2c0 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -12,6 +12,7 @@ modules
   , Core.Environment.Extension
   , Core.Generic
   , Core.LogRel
+  , Core.LogRel.View
   , Core.Reduction
   , Core.Term
   , Core.Term.NormalForm