From dc600f47e15ff59a46890ca32e5571e24ce00983 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 25 Mar 2023 15:41:36 +0000
Subject: Extract Terms and Values to a new module.

---
 src/CC/Name.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CC/Name.idr')

diff --git a/src/CC/Name.idr b/src/CC/Name.idr
index f1a66db..4c25f5c 100644
--- a/src/CC/Name.idr
+++ b/src/CC/Name.idr
@@ -1,6 +1,6 @@
 module CC.Name
 
-import Control.Relation
+import public Control.Relation
 
 import Decidable.Equality
 
-- 
cgit v1.2.3