summaryrefslogtreecommitdiff
path: root/Util/Emacs
diff options
context:
space:
mode:
authorGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-08-14 15:43:40 -0700
committerGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-08-14 15:43:40 -0700
commitc8f24efe0511fd5129753ad288cdc16c354f4d1a (patch)
tree89252da50579eb21e832491ffc8cea240336f188 /Util/Emacs
parent91826b66ee694463fcbb0005cfa23f746f8ebb82 (diff)
Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)
Diffstat (limited to 'Util/Emacs')
-rw-r--r--Util/Emacs/dafny-mode.el8
1 files changed, 4 insertions, 4 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el
index 0b64a775..4f47f9c3 100644
--- a/Util/Emacs/dafny-mode.el
+++ b/Util/Emacs/dafny-mode.el
@@ -8,7 +8,7 @@
(if dafny-mode-map nil
(setq dafny-mode-map (make-keymap))
- (define-key dafny-mode-map "\C-c\C-c" 'dafny-run-boogie)
+ (define-key dafny-mode-map "\C-c\C-c" 'dafny-run-verifier)
(define-key dafny-mode-map [(control return)] 'font-lock-fontify-buffer))
(setq auto-mode-alist
@@ -69,7 +69,7 @@
dafny-mode-menu (list dafny-mode-map)
"Dafny Mode Menu."
'("Dafny"
- ["Run Boogie" dafny-run-boogie t]
+ ["Run Dafny" dafny-run-verifier t]
"---"
["Recolor buffer" font-lock-fontify-buffer t]
"---"
@@ -81,8 +81,8 @@
(defun dafny-command-line (file)
(concat "boogie " file))
-(defun dafny-run-boogie ()
- "run Boogie to check the Dafny program"
+(defun dafny-run-verifier ()
+ "run Dafny verifier"
(interactive)
(let ((f (buffer-name)))
(compile (dafny-command-line f))))