diff --git a/src/Diagnostics.cc b/src/Diagnostics.cc
index 2397d5751..2c45fcf42 100644
--- a/src/Diagnostics.cc
+++ b/src/Diagnostics.cc
@@ -797,12 +797,12 @@ namespace bolt {
         write("due to an equality constraint on ");
         write(describe(E.Source->getKind()));
         write(":\n\n");
-        write(" - left type ");
-        writeType(E.OrigLeft, E.LeftPath);
-        write("\n");
-        write(" - right type ");
-        writeType(E.OrigRight, E.RightPath);
-        write("\n\n");
+        // write(" - left type ");
+        // writeType(E.OrigLeft, E.LeftPath);
+        // write("\n");
+        // write(" - right type ");
+        // writeType(E.OrigRight, E.RightPath);
+        // write("\n\n");
         writeNode(E.Source);
         write("\n");
         // if (E.Left != E.OrigLeft) {