diff options
| author | David Aspinall | 2009-09-16 10:31:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-16 10:31:28 +0000 |
| commit | 7fb5e30e23dbefe96aa4bee9df9e7c161d7e4ac1 (patch) | |
| tree | 7f413c8f18227e06dc2f2a617586201ab93188e4 /coq/coq.el | |
| parent | d1ce95f0ffb1ed45305b7b56664fbc10cd1fbfef (diff) | |
Fix compile warnings
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -11,8 +11,7 @@ ;; ;;; History: -(eval-when-compile - (require 'cl)) +(require 'cl) (eval-when (compile) (require 'proof-utils) |