diff options
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'." |