X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=52e4f420e60849224a502fe41daf3768c9f1de49;hp=8f08d350aee8a6b98fcf7f8c7f2d53a1bca6faad;hb=f80c996a1357445dac8471b149ee9a5c74b299c6;hpb=373167c17a86641767ccb4df40556fa701255fb1

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 8f08d35..52e4f42 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -168,7 +168,7 @@ mkSymCoercion co
     -- should make this case better
   = mkAppCoercion (mkSymCoercion co1) (mkSymCoercion co2)
   | Just (co1, co2) <- splitTransCoercion_maybe co
-  = mkTransCoercion (mkSymCoercion co1) (mkSymCoercion co2)
+  = mkTransCoercion (mkSymCoercion co2) (mkSymCoercion co1)
   | Just (co, ty) <- splitInstCoercion_maybe co
   = mkInstCoercion (mkSymCoercion co) ty
   | Just co <- splitLeftCoercion_maybe co