diff options
author | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2015-05-12 14:34:25 -0400 |
---|---|---|
committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2015-05-12 14:34:25 -0400 |
commit | 755a9ac2f8cbd07941dff34bf9e0f47c89471bc1 (patch) | |
tree | d69645ff52c44cdf33d9d6805e17ee9b86f8c6cd /Util | |
parent | 43361334dd4f9be3efe0cf7cdf984c140cd74b14 (diff) |
Fixed typo in the Dafny Emacs mode.
Diffstat (limited to 'Util')
-rw-r--r-- | Util/Emacs/dafny-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 2846c824..8355817a 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -86,7 +86,7 @@ ;; commands
(defun dafny-command-line (file)
- (concat "boogie " file))
+ (concat "dafny " file))
(defun dafny-run-verifier ()
"run Dafny verifier"
|