From da88d02c38e53e3ae9b5f4f625023dc58d6ae472 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Dec 2007 01:24:10 +0000 Subject: Attempt to fix compile problems --- coq/coq-abbrev.el | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) (limited to 'coq/coq-abbrev.el') diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 78863d27..e79f361f 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -54,15 +54,16 @@ ;;; The abbrev table built from keywords tables ;#s and @{..} are replaced by holes by holes-abbrev-complete -(if (and (boundp 'coq-mode-abbrev-table) - (not (equal coq-mode-abbrev-table (make-abbrev-table)))) - (message "Coq abbrevs already exists, default not loaded") - (message "Coq default abbrevs loaded") - (define-abbrev-table 'coq-mode-abbrev-table - (append coq-tactics-abbrev-table coq-tacticals-abbrev-table - coq-commands-abbrev-table coq-terms-abbrev-table)) - ;if we use default coq abbrev, never ask to save it - (setq save-abbrevs nil)) +(eval-when (load) + (if (and (boundp 'coq-mode-abbrev-table) + (not (equal coq-mode-abbrev-table (make-abbrev-table)))) + (message "Coq abbrevs already exists, default not loaded") + (message "Coq default abbrevs loaded") + (define-abbrev-table 'coq-mode-abbrev-table + (append coq-tactics-abbrev-table coq-tacticals-abbrev-table + coq-commands-abbrev-table coq-terms-abbrev-table)) + ;; if we use default coq abbrev, never ask to save it + (setq save-abbrevs nil))) ;;;;; -- cgit v1.2.3