diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs
index f5fc2ea2d4fa945ce534af40a6d8d20878ec18a5..63ad847cdec4d66c2359b633a7310dcf4c3edca0 100644
--- a/compiler/typecheck/TcErrors.hs
+++ b/compiler/typecheck/TcErrors.hs
@@ -815,9 +815,7 @@ mkTyVarEqErr dflags ctxt extra ct oriented tv1 ty2
                             -- be oriented the other way round;
                             -- see TcCanonical.canEqTyVarTyVar
   || isSigTyVar tv1 && not (isTyVarTy ty2)
-  || pprTrace "RAE1" (ppr ct $$ ppr tv1 $$ ppr ty2 $$
-                      ppr (isTyVarUnderDatatype tv1 ty2))
-     (ctEqRel ct == ReprEq && not (isTyVarUnderDatatype tv1 ty2))
+  || ctEqRel ct == ReprEq && not (isTyVarUnderDatatype tv1 ty2)
      -- the cases below don't really apply to ReprEq (except occurs check)
   = mkErrorMsg ctxt ct (vcat [ misMatchOrCND ctxt ct oriented ty1 ty2
                              , extraTyVarInfo ctxt tv1 ty2