diff options
Diffstat (limited to 'src/Soat/FirstOrder/Algebra/Coproduct.idr')
| -rw-r--r-- | src/Soat/FirstOrder/Algebra/Coproduct.idr | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |