From 8baf4268940277164f1462187501225033ec93c4 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sun, 23 Apr 2023 14:53:40 +0100
Subject: Define shape views.

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

(limited to 'obs.ipkg')

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
-- 
cgit v1.2.3