diff options
Diffstat (limited to 'app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch')
| -rw-r--r-- | app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch b/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch new file mode 100644 index 000000000000..4f297a247244 --- /dev/null +++ b/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch @@ -0,0 +1,11 @@ +--- a/dafny-mode.el ++++ b/dafny-mode.el +@@ -553,7 +553,7 @@ open Dafny buffers." + + (flycheck-define-command-checker 'dafny + "Flycheck checker for the Dafny programming language." +- :command '("Dafny" (eval (boogie-friends-compute-prover-args)) source-inplace) ++ :command '("dafny" (eval (boogie-friends-compute-prover-args)) source-inplace) + :error-patterns boogie-friends-error-patterns + :error-filter #'dafny-error-filter + :predicate #'dafny-predicate |