diff options
| -rw-r--r-- | ale_linters/dafny/dafny.vim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ale_linters/dafny/dafny.vim b/ale_linters/dafny/dafny.vim index 8f6c62bc..8bbf1b13 100644 --- a/ale_linters/dafny/dafny.vim +++ b/ale_linters/dafny/dafny.vim @@ -21,4 +21,5 @@ call ale#linter#Define('dafny', { \ 'executable': 'dafny', \ 'command': 'dafny %s /compile:0', \ 'callback': 'ale_linters#dafny#dafny#Handle', +\ 'lint_file': 1, \ }) |