Fixed a small bug in indentation of coq.

Fixed behavior for making abbrev table (don't if it already exists).

1 files changed, 0 insertions, 11 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 6bf7c453..9af9b2f9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1212,17 +1212,6 @@ mouse activation."
   )
 
 
-;load the default coq abbrev file if no coq abbrev file is already read
-
-(if (and (boundp 'coq-mode-abbrev-table)
-         (not (equal coq-mode-abbrev-table (make-abbrev-table))))
-    (message "An abbrev table exists for coq, no default loaded")
-  (progn
-    (quietly-read-abbrev-file "coq-abbrev.el")
-    (message "coq default abbreviations loaded"))
-  )
-
-
 ;;;;;;;;;;;;;;;;;;;;;
 ; Some smart insertion function
 ;;;;;;;;;;;;;;;;;;;;;;