From 121965c3e550f285d3a428cbb6da10c97bfa9846 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 6 Dec 2022 13:50:12 +0000
Subject: refactor: rename pwSetoid -> Product.

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

(limited to 'src/Soat/FirstOrder/Algebra')

diff --git a/src/Soat/FirstOrder/Algebra/Coproduct.idr b/src/Soat/FirstOrder/Algebra/Coproduct.idr
index 88db184..548beed 100644
--- a/src/Soat/FirstOrder/Algebra/Coproduct.idr
+++ b/src/Soat/FirstOrder/Algebra/Coproduct.idr
@@ -175,7 +175,7 @@ termToCoproduct x y = MkHomomorphism
   { func    = MkIndexedSetoidHomomorphism (\_ => id) (\t, _, _ => tmRelImpliesCoprodRel)
   , semHomo = \op, tms =>
     Call op $
-    reflect (index (pwSetoid (CoproductAlgebra x y).setoid) _) $
+    reflect (index (Product (CoproductAlgebra x y).setoid) _) $
     sym $
     mapId tms
   }
-- 
cgit v1.2.3