diff options
Diffstat (limited to 'tools/gallina.el')
| -rw-r--r-- | tools/gallina.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gallina.el b/tools/gallina.el index a705536738..7af2d765fa 100644 --- a/tools/gallina.el +++ b/tools/gallina.el @@ -8,8 +8,8 @@ ; compatibility code for proofgeneral files (require 'coq-font-lock) ; ProofGeneral files. remember to remove coq version tests in -; coq-syntax.el -(require 'coq-syntax) +; gallina-syntax.el +(require 'gallina-syntax) (defvar coq-mode-map nil "Keymap used in Coq mode.") |