From 9c5540562f53be81bfb03ef2b96d7f59b3ddea44 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Fri, 5 Mar 2021 00:10:08 +0000 Subject: Separate out some Language properties. --- src/Cfe/Expression/Properties.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Cfe/Expression') diff --git a/src/Cfe/Expression/Properties.agda b/src/Cfe/Expression/Properties.agda index 8bdc635..9af0d70 100644 --- a/src/Cfe/Expression/Properties.agda +++ b/src/Cfe/Expression/Properties.agda @@ -10,7 +10,7 @@ open Setoid over using () renaming (Carrier to C) open import Algebra open import Cfe.Expression.Base over -open import Cfe.Language.Base over as L +open import Cfe.Language over as L import Cfe.Language.Construct.Concatenate over as ∙ import Cfe.Language.Construct.Union over as ∪ import Cfe.Language.Indexed.Construct.Iterate over as ⋃ -- cgit v1.2.3