From 755a9ac2f8cbd07941dff34bf9e0f47c89471bc1 Mon Sep 17 00:00:00 2001
From: Nadia Polikarpova <nadia.polikarpova@gmail.com>
Date: Tue, 12 May 2015 14:34:25 -0400
Subject: Fixed typo in the Dafny Emacs mode.

---
 Util/Emacs/dafny-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util')

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"
-- 
cgit v1.2.3