From 37fa6de5424f62266593258d33cebad96d9d6d86 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Sat, 18 Aug 2018 19:31:47 +0200
Subject: Fix #7980, keep option order unchanged.

---
 coq/coq-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3