From ae4394c4dbb2451770bb46b45a192b4ccd4f51b4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 10:35:46 +0000
Subject: Remove eval-when, seems unreliable

---
 coq/coq-abbrev.el   | 2 +-
 coq/coq-autotest.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq')

diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index e79f361f..31ee58d6 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -54,7 +54,7 @@
 
 ;;; The abbrev table built from keywords tables
 ;#s and @{..} are replaced by holes by holes-abbrev-complete
-(eval-when (load)
+(unless (noninteractive)
   (if (and (boundp 'coq-mode-abbrev-table)
 	   (not (equal coq-mode-abbrev-table (make-abbrev-table)))) 
       (message "Coq abbrevs already exists, default not loaded")    
diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 0e12d48c..160efdcb 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -8,7 +8,7 @@
 (require 'pg-autotest)
 
 ;; The included test files
-(eval-when (load)
+(unless (noninteractive)
   (pg-autotest  message "Testing standard examples")
   (pg-autotest script-wholefile "coq/example.v")
   (pg-autotest script-wholefile "coq/example-x-symbol.v")
-- 
cgit v1.2.3