Tons of error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
index 6ee736c..c36d64e 100644 (file)
@@ -1,6 +1,6 @@
 
 T5853.hs:15:52:
-    Could not deduce (Subst fa b ~ Subst (Subst fa a) b)
+    Could not deduce (Subst (Subst fa a) b ~ Subst fa b)
     from the context (F fa,
                       Elem (Subst fa b) ~ b,
                       Subst (Subst fa b) (Elem fa) ~ fa,