From 29c4bfe1440efb1de1ed6d000fcc1cd73dc26f12 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 5 Mar 2021 14:45:12 +0000
Subject: Add types and satisfiability

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

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

diff --git a/src/Cfe/Language.agda b/src/Cfe/Language.agda
index 1cb52dc..7469ef5 100644
--- a/src/Cfe/Language.agda
+++ b/src/Cfe/Language.agda
@@ -7,3 +7,4 @@ module Cfe.Language
   where
 
 open import Cfe.Language.Base setoid public
+open import Cfe.Language.Properties setoid public
-- 
cgit v1.2.3