diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 18:11:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 18:11:55 +0000 |
| commit | 36ed2e9b37a9e722191293db499b29a373cba61b (patch) | |
| tree | bc3ef1924e38cbfccdba9e6e677c69d5994ee5e0 /mmm | |
| parent | 16d56b47f1aa03827207bf6a8b343c371dd7e445 (diff) | |
Fix compile warnings
Diffstat (limited to 'mmm')
| -rw-r--r-- | mmm/README.mmm-for-ProofGeneral | 5 | ||||
| -rw-r--r-- | mmm/mmm-vars.el | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/mmm/README.mmm-for-ProofGeneral b/mmm/README.mmm-for-ProofGeneral index a79c84c7..346e407b 100644 --- a/mmm/README.mmm-for-ProofGeneral +++ b/mmm/README.mmm-for-ProofGeneral @@ -3,7 +3,10 @@ The code in this directory is taken from http://mmm-mode.sourceforge.net/ This is version 0.4.8. -No changes have been made for Proof General. + +Some minor changes have been made for Proof General to +remove compilation warnings. + Some files have not be included here. diff --git a/mmm/mmm-vars.el b/mmm/mmm-vars.el index 80e92ef2..fda8e61d 100644 --- a/mmm/mmm-vars.el +++ b/mmm/mmm-vars.el @@ -32,7 +32,9 @@ ;;; Code: +(require 'cl) (require 'mmm-compat) +(require 'mmm-utils) ;; MISCELLANEOUS ;;{{{ Shut up the Byte Compiler @@ -40,6 +42,7 @@ ;; Otherwise it complains about undefined variables. (eval-when-compile (defvar mmm-current-submode) + (defvar mmm-current-overlay) (defvar mmm-save-local-variables) (defvar mmm-mode-string) (defvar mmm-submode-mode-line-format) @@ -48,7 +51,7 @@ (defvar mmm-global-mode) (defvar mmm-primary-mode) (defvar mmm-classes-alist)) - + (defvar mmm-current-submode) ;;}}} ;;{{{ Error Conditions |