From 31d813e94b960aedd9ccf9fcf3530db21842f7aa Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Wed, 24 May 2023 19:00:02 +0200
Subject: [PATCH] Fix spacing in InstanceNotFoundDiagnostic

---
 src/Diagnostics.cc | 1 +
 1 file changed, 1 insertion(+)

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);