diff --git a/ale_linters/dafny/dafny.vim b/ale_linters/dafny/dafny.vim
index 8f6c62b..8bbf1b1 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,
 \ })