From 248a5eb2f61aafdc7a20d3eea5709476c2a21a5b Mon Sep 17 00:00:00 2001
From: Taylor Blau <me@ttaylorr.com>
Date: Tue, 7 Nov 2017 22:11:49 -0800
Subject: ale_linters: add 'dafny' linter

---
 doc/ale.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/ale.txt b/doc/ale.txt
index d3efcc13..9ca0c727 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -270,6 +270,7 @@ Notes:
 * CSS: `csslint`, `stylelint`, `prettier`
 * Cython (pyrex filetype): `cython`
 * D: `dmd`
+* Dafny: `dafny`!!
 * Dart: `dartanalyzer`!!, `language_server`
 * Dockerfile: `hadolint`
 * Elixir: `credo`, `dogma`!!
-- 
cgit v1.2.3