diff options
| author | Taylor Blau <me@ttaylorr.com> | 2017-11-08 09:28:24 -0800 |
|---|---|---|
| committer | Taylor Blau <me@ttaylorr.com> | 2017-11-08 09:28:24 -0800 |
| commit | da8012971a5f0e6af63b94bc2fc2e8307c09e1c2 (patch) | |
| tree | ea3a1c303303c700f04532e9fed23ecdb6156dad /ale_linters | |
| parent | 105251c1de75d2c6775175eb012bf8eb600e2a44 (diff) | |
| download | ale-da8012971a5f0e6af63b94bc2fc2e8307c09e1c2.zip | |
ale_linters/dafny: lint only saved files
Diffstat (limited to 'ale_linters')
| -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, \ }) |