diff --git a/server/src/server.ts b/server/src/server.ts
index 0d35d3f..784b3a6 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -386,6 +386,7 @@ documents.onDidClose(e => {
     documentLinters.delete(e.document.uri);
     documentSettings.delete(e.document.uri);
     documentVersions.delete(e.document.uri);
+    connection.sendDiagnostics({uri: e.document.uri, diagnostics: []});
 });
 
 /* istanbul ignore next */