From 0764ad31e5afc48bb9b436ef306ff1dcb1419afd Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Wed, 16 Aug 2023 14:58:25 +0200 Subject: [PATCH] Small fix so it compiles again --- ElgotAlgebras.agda | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ElgotAlgebras.agda b/ElgotAlgebras.agda index a5f608a..0fcb8dd 100644 --- a/ElgotAlgebras.agda +++ b/ElgotAlgebras.agda @@ -13,7 +13,8 @@ open import ElgotAlgebra open import Categories.Category.Distributive open import Categories.Category.Extensive.Bundle open import Categories.Category.Extensive -open import Categories.Morphism +import Categories.Morphism as M +import Categories.Morphism.Reasoning as MR module ElgotAlgebras where