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

(limited to 'src/Soat/SecondOrder/Algebra.idr')

diff --git a/src/Soat/SecondOrder/Algebra.idr b/src/Soat/SecondOrder/Algebra.idr
index 50877e9..664a5d7 100644
--- a/src/Soat/SecondOrder/Algebra.idr
+++ b/src/Soat/SecondOrder/Algebra.idr
@@ -24,7 +24,7 @@ algebraOver sig x = (ctx : List sig.T) -> {t : sig.T} -> (op : Op sig t)
 
 public export
 record RawAlgebra (0 sig : Signature) where
-  constructor MakeRawAlgebra
+  constructor MkRawAlgebra
   0 U    : (t : sig.T) -> (ctx : List sig.T) -> Type
   rename : (t : sig.T) -> forall ctx, ctx' . (f : ctx `Sublist` ctx') -> U t ctx -> U t ctx'
   sem    : sig `algebraOver` U
-- 
cgit v1.2.3