diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:31:47 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:31:47 +0200 |
commit | 37fa6de5424f62266593258d33cebad96d9d6d86 (patch) | |
tree | 8053795ba73ee4f1123ac5fc87f95feaa5bafe4c | |
parent | b238dab7a2f8a52281a920df027c3dea4fc4b28c (diff) |
Fix #7980, keep option order unchanged.
-rw-r--r-- | coq/coq-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 4a30c7d4..93c9dd7e 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -500,7 +500,7 @@ Returns a mixed list of option-value pairs and strings." (arity (cdr (assoc switch coq--makefile-switch-arities)))) (push (coq--read-one-option-from-project-file switch arity raw-args) options) (setq raw-args (nthcdr (or arity 0) raw-args)))) - options)) + (nreverse options))) ; Order of options is important sometimes (Cf. #7980) (defun coq--extract-prog-args (options) "Extract coqtop arguments from _CoqProject options OPTIONS. |