From f77aeb6c4b25b381e897a4ab59c1008e34005404 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 5 Dec 2022 14:43:50 +0000
Subject: refactor: rename MakeRawAlgebra -> MkRawAlgebra.

---
 src/Soat/FirstOrder/Algebra/Coproduct.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Soat/FirstOrder/Algebra/Coproduct.idr')

diff --git a/src/Soat/FirstOrder/Algebra/Coproduct.idr b/src/Soat/FirstOrder/Algebra/Coproduct.idr
index d0b1b14..84ac436 100644
--- a/src/Soat/FirstOrder/Algebra/Coproduct.idr
+++ b/src/Soat/FirstOrder/Algebra/Coproduct.idr
@@ -67,7 +67,7 @@ parameters {0 x, y : RawAlgebraWithRelation sig}
 
 public export
 Coproduct : (x, y : RawAlgebra sig) -> RawAlgebra sig
-Coproduct x y = MakeRawAlgebra
+Coproduct x y = MkRawAlgebra
   { U   = CoproductSet sig x.U y.U
   , sem = Call
   }
-- 
cgit v1.2.3