Commit 811c0254 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typo.

parent 42932a5c
......@@ -136,7 +136,7 @@
(indent-line-to cur-indent)
(indent-line-to 0)))))))
; compile will propose "why3 ide file" is no Makefile is present
; compile will propose "why3 ide file" if no Makefile is present
(add-hook 'why3-mode-hook
(lambda ()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment