[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 00:40:24 CET 2013

Hi Why developers,

I think the below patch against today's git should be applied in order
to make why3.el work well on recent version of emacs.

diff --git a/share/emacs/why3.el b/share/emacs/why3.el
index a243946..251adbe 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 "*)")
+  (setq (make-local-variable 'comment-start) "(*"
+       (make-local-variable 'comment-end) "*)")
   ; menu
   ; providing the mode
   (setq major-mode 'why3-mode)


More information about the Why3-club mailing list