From 6a3c8d9bd0db3a4db6a01a0f587f309da568a943 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2008 13:07:11 +0000 Subject: Many compatibility updates, bug fixes, rearrangements for compilation. --- coq/coq-abbrev.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-abbrev.el') diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index b6ad7b51..6f156a8c 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -66,7 +66,7 @@ (message "Coq default abbrevs loaded") )) -(unless (noninteractive) +(unless noninteractive (coq-install-abbrevs)) ;;;;; -- cgit v1.2.3