Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
index 997ce19..63868d0 100644 (file)
@@ -1,6 +1,6 @@
 
 T5853.hs:15:52:
-    Could not deduce (Subst (Subst fa a) b ~ Subst fa b)
+    Could not deduce (Subst (Subst fa b) a ~ Subst fa a)
     from the context (F fa,
                       Elem (Subst fa b) ~ b,
                       Subst (Subst fa b) (Elem fa) ~ fa,