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/Term.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Soat/FirstOrder/Term.idr')

diff --git a/src/Soat/FirstOrder/Term.idr b/src/Soat/FirstOrder/Term.idr
index 4a51f94..eaa2da2 100644
--- a/src/Soat/FirstOrder/Term.idr
+++ b/src/Soat/FirstOrder/Term.idr
@@ -127,7 +127,7 @@ namespace Rel
 
 public export
 Free : (0 V : sig.T -> Type) -> RawAlgebra sig
-Free v = MakeRawAlgebra (Term sig v) Call
+Free v = MkRawAlgebra (Term sig v) Call
 
 public export
 FreeIsAlgebra : (v : ISetoid sig.T) -> IsAlgebra sig (Free v.U) ((~=~) v.relation)
-- 
cgit v1.2.3