[Why3-club] [Patch] Correctly set comment-{start, end} in why3 emacs mode

Emilio Jesús Gallego Arias emilioga at cis.upenn.edu
Thu Nov 21 22:09:39 CET 2013

Hi all,

yesterday I sent a wrong patch, please find below the (hopefully)
correct one:

diff --git a/share/emacs/why3.el b/share/emacs/why3.el
index a243946..7091a26 100644
--- a/share/emacs/why3.el
+++ b/share/emacs/why3.el
@@ -162,7 +162,8 @@
   ;(make-local-variable 'indent-line-function)
   ;(setq indent-line-function 'why3-indent-line)
   ; OCaml style comments for comment-region, comment-dwim, etc.
-  (setq comment-start "(*" comment-end "*)")
+  (set (make-local-variable 'comment-start) "(*")
+  (set (make-local-variable 'comment-end)   "*)")
   ; menu
   ; providing the mode
   (setq major-mode 'why3-mode)


More information about the Why3-club mailing list