Emacs mode: Provide the good module name (why3-mode => why3)

24c88f90 · Jacques-Pascal Deplaix · Jean-Christophe Filliâtre · cfc383cb · 24c88f90
Commit 24c88f90 authored May 06, 2014 by Jacques-Pascal Deplaix Committed by Jean-Christophe Filliâtre May 13, 2014
--- a/share/emacs/why3.el
+++ b/share/emacs/why3.el
@@ -173,5 +173,5 @@
  ; (why3-menu)
  (run-hooks 'why3-mode-hook))

-(provide 'why3-mode)
+(provide 'why3)