diff --git a/src/Diagnostics.cc b/src/Diagnostics.cc index 2e0badf91..0d911bdb4 100644 --- a/src/Diagnostics.cc +++ b/src/Diagnostics.cc @@ -556,6 +556,7 @@ namespace bolt { writePrefix(E); write("a type class instance "); writeTypeclassName(E.TypeclassName); + write(" "); writeType(E.Ty); write(" was not found.\n\n"); writeNode(E.Source);