From aaeb5a3572e96e32abbad5a137f5fc14575a8d66 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 5 Apr 2021 20:18:17 +0100
Subject: Add some missing properties for singleton languages.

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

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

diff --git a/src/Cfe/Language/Base.agda b/src/Cfe/Language/Base.agda
index 2919ed7..d9be456 100644
--- a/src/Cfe/Language/Base.agda
+++ b/src/Cfe/Language/Base.agda
@@ -66,9 +66,9 @@ w ∉ A = ¬ w ∈ A
 ------------------------------------------------------------------------
 -- Language Combinators
 
+infix 8 ⋃_
 infix 7 _∙_
 infix 6 _∪_
-infix 5 ⋃_
 
 _∙_ : Language a → Language b → Language _
 A ∙ B = record
-- 
cgit v1.2.3