From a062b83551010213825e41a7acb0221a6c74e6af Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 27 Mar 2021 13:10:40 +0000
Subject: Prove satisfaction for concatenation.

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

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

diff --git a/src/Cfe/Language/Base.agda b/src/Cfe/Language/Base.agda
index 3e954b2..a3b5136 100644
--- a/src/Cfe/Language/Base.agda
+++ b/src/Cfe/Language/Base.agda
@@ -20,6 +20,8 @@ open import Relation.Binary.PropositionalEquality
 
 infix 4 _∈_
 infix 4 _∉_
+infix 4 _≈_
+infix 4 _≤_
 
 record Language a : Set (c ⊔ ℓ ⊔ suc a) where
   field
-- 
cgit v1.2.3