From b5c2cc8a3bb3cc2446267455db506d3cabe683c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:08:33 +0000
Subject: Fix compiler warnings.

---
 coq/coq-local-vars.el | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el
index ed001679..33246368 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -1,17 +1,19 @@
 ;;; coq-local-vars.el --- local variable list tools for coq
-;; Copyright (C) 1994 - 1998 LFCS Edinburgh.
+;;
+;; Copyright (C) 2006-2008 LFCS Edinburgh.
 ;; Authors: Pierre Courtieu
 ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
-
+;;
 ;; $Id$
-
-
+;;
 ;;; Commentary:
 ;;
 
+(eval-when-compile
+  (defvar coq-prog-name nil)
+  (defvar coq-prog-args nil)
+  (defvar coq-version-is-V8-1 nil))
 
-;;; History:
-;;
 
 ;;; Code:
 (defconst coq-local-vars-doc nil
-- 
cgit v1.2.3