From 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 14 Dec 2007 13:13:58 +0000
Subject: Fix compilation problems and rearrange startup settings for
 coq-prog-name,coq-prog-args

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

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

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index 160efdcb..a5b35ba4 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -17,4 +17,3 @@
   (pg-autotest-quit-prover)
   (pg-autotest-finished))
 
-
-- 
cgit v1.2.3