From c37cc1c8a3cd2d014258d4252c4b495e48e844a5 Mon Sep 17 00:00:00 2001
From: "D. Ben Knoble" <ben.knoble+github@gmail.com>
Date: Thu, 8 Oct 2020 11:54:17 -0400
Subject: [PATCH] dafny: include correct filename in lint results

Results can come from included files, not just the current buffer.
---
 ale_linters/dafny/dafny.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ale_linters/dafny/dafny.vim b/ale_linters/dafny/dafny.vim
index b5b90675..e6021d99 100644
--- a/ale_linters/dafny/dafny.vim
+++ b/ale_linters/dafny/dafny.vim
@@ -6,7 +6,7 @@ function! ale_linters#dafny#dafny#Handle(buffer, lines) abort
 
     for l:match in ale#util#GetMatches(a:lines, l:pattern)
         call add(l:output, {
-        \    'bufnr': a:buffer,
+        \    'filename': l:match[1],
         \    'col': l:match[3] + 0,
         \    'lnum': l:match[2] + 0,
         \    'text': l:match[5],