From 0dc59b43f78654a746ef5baaeabcc767c64ee0df Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 13 Mar 2021 20:06:22 +0000
Subject: Add weakening proofs for type judgements.

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

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

diff --git a/src/Cfe/Judgement.agda b/src/Cfe/Judgement.agda
index a77cf92..370f734 100644
--- a/src/Cfe/Judgement.agda
+++ b/src/Cfe/Judgement.agda
@@ -7,3 +7,4 @@ module Cfe.Judgement
   where
 
 open import Cfe.Judgement.Base over public
+open import Cfe.Judgement.Properties over public
-- 
cgit v1.2.3