From 9b3d7e541a43bcc565175d0b4835626365cfeba2 Mon Sep 17 00:00:00 2001
From: Anton Trunov <anton.a.trunov@gmail.com>
Date: Thu, 27 Sep 2018 23:06:43 +0200
Subject: Fix parsing of -arg in _CoqProject file

The result of parsing was in reverse, see
https://github.com/ProofGeneral/PG/issues/392\#issuecomment-425227314
---
 coq/coq-system.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 63ee57ac..e3164644 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -514,8 +514,8 @@ coqtop."
          (push opt args))
         (`("-arg" ,concatenated-args)
          (setq args
-               (append (split-string-and-unquote (cadr opt) coq--project-file-separator)
-                       args)))))
+               (append args
+                       (split-string-and-unquote (cadr opt) coq--project-file-separator))))))
     (cons "-emacs" args)))
 
 (defun coq--extract-load-path-1 (option base-directory)
-- 
cgit v1.2.3