From 11dddff1955a696538afbc1cfb604bbc640242a6 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 24 Mar 2021 15:55:34 +0000
Subject: Prove lemma 3.5 (5).

---
 src/Cfe/Language/Construct/Union.agda | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/src/Cfe/Language/Construct/Union.agda b/src/Cfe/Language/Construct/Union.agda
index 5e86124..0865123 100644
--- a/src/Cfe/Language/Construct/Union.agda
+++ b/src/Cfe/Language/Construct/Union.agda
@@ -24,8 +24,9 @@ module _
   (B : Language b)
   where
 
-  module A = Language A
-  module B = Language B
+  private
+    module A = Language A
+    module B = Language B
 
   infix 6 _∪_
 
-- 
cgit v1.2.3