From 90c7597b6f80e0bd5bb2a9a7245d097d40486518 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 5 Mar 2021 00:22:20 +0000
Subject: Prove lemma 3.3

---
 src/Cfe/Expression.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Cfe/Expression.agda')

diff --git a/src/Cfe/Expression.agda b/src/Cfe/Expression.agda
index 8162cc0..8497251 100644
--- a/src/Cfe/Expression.agda
+++ b/src/Cfe/Expression.agda
@@ -7,3 +7,4 @@ module Cfe.Expression
   where
 
 open import Cfe.Expression.Base setoid public
+open import Cfe.Expression.Properties setoid public
-- 
cgit v1.2.3