Alternative fix to #382.

1 files changed, 8 insertions, 5 deletions

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 6382455e..3c926639 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -61,15 +61,18 @@
       ;; da: this test will always fail.  Assume bound-->non-empty
       ;; (not (equal coq-mode-abbrev-table (make-abbrev-table))))
       (message "Coq abbrevs already exists, default not 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))
+    (let 
+	;; prevent query to immediately save these abbrevs
+	((save-abbrevs nil)) 
+      (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
     ;; PC: fix trac #382 I comment this. But how to disable abbrev
     ;; saving for coq mode only?
     ;;(setq save-abbrevs nil) ; 
-    (message "Coq default abbrevs loaded")
-    ))
+    ;; DA: how about above, just temporarily disable saving?
+    (message "Coq default abbrevs loaded")))
 
 (unless noninteractive
   (coq-install-abbrevs))