diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-28 19:25:20 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-28 19:25:20 -0500 |
commit | 595c2aaf975bdc6afd996806891a5a790684e267 (patch) | |
tree | 0ee1cd6e1091fe12ad90d9075f693f2cdab1c149 /coq/coq-system.el | |
parent | 11b03d47628bf833e98e0b3d8ae9c5c9a358235d (diff) |
Remove leftover comment
Diffstat (limited to 'coq/coq-system.el')
-rw-r--r-- | coq/coq-system.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 0d09e0f2..f13a0f1e 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -324,8 +324,6 @@ options of a few coq-project files does the right thing." LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'." (coq-include-options load-path current-directory pre-v85)) -;;; !!! Fixme handle proof-prog-name-ask - (defun coq-coqc-prog-args (load-path &optional current-directory pre-v85) "Build a list of options for coqc. LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'." |