diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:08:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 09:08:33 +0000 |
| commit | b5c2cc8a3bb3cc2446267455db506d3cabe683c7 (patch) | |
| tree | 83c6fac1fcdd638889cb9edd0bc9659795586607 | |
| parent | 877c97b74b70c4d97164b0849acfd5577060741f (diff) | |
Fix compiler warnings.
| -rw-r--r-- | coq/coq-local-vars.el | 14 |
1 files 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 |