summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
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.patch11
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