From da8012971a5f0e6af63b94bc2fc2e8307c09e1c2 Mon Sep 17 00:00:00 2001
From: Taylor Blau <me@ttaylorr.com>
Date: Wed, 8 Nov 2017 09:28:24 -0800
Subject: [PATCH] ale_linters/dafny: lint only saved files

---
 ale_linters/dafny/dafny.vim | 1 +
 1 file changed, 1 insertion(+)

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,
 \ })