diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-16 10:29:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-16 10:29:50 +0000 |
commit | d1ce95f0ffb1ed45305b7b56664fbc10cd1fbfef (patch) | |
tree | 50f0553dc3964619255a658dbe5e62e0aac2e898 /coq/coq-autotest.el | |
parent | 0db8e0f338610fa44d5e81b23fabf38b6ed4a27d (diff) |
Prevent warning on cl functions (cl functions called at runtime
warning should not stop compilation).
Diffstat (limited to 'coq/coq-autotest.el')
0 files changed, 0 insertions, 0 deletions