From 355b108aa856e3118f721c4f169bd86186ad8ce3 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Mon, 28 Jan 2008 10:03:22 +0000
Subject: Fixed a problem with a wrong side effect on syntax databases (when
 sorting for menus).

---
 coq/coq-abbrev.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'coq/coq-abbrev.el')

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 6f156a8c..ba1c2f3d 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -31,7 +31,6 @@
 (defconst coq-tacticals-abbrev-table 
   (coq-build-abbrev-table-from-db coq-tacticals-db))
 
-
 (defconst coq-commands-menu 
   (append '("INSERT COMMAND" 
 	    ["Module/Section (smart)" coq-insert-section-or-module t]
-- 
cgit v1.2.3