[nongnu] elpa/proof-general 39f967e5ef 04/10: Change _CoqProject separator settings

[ELPA Syncer]

branch: elpa/proof-general
commit 39f967e5ef5c8d4dfed3419138026cb02ebff71d
Author: Columbus240 <8899730+Columbus240@users.noreply.github.com>
Commit: Columbus240 <8899730+Columbus240@users.noreply.github.com>

    Change _CoqProject separator settings
    
    According to the code of coq_makefile, `\r` is not considered
    white-space in _CoqProject.
    
(https://github.com/coq/coq/blob/a7f51315db5d70888af3b96a579eb799a2b45ca9/lib/coqProject_file.ml#L84)
---
 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 28c9dce4f3..ad65cc4bc2 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -550,7 +550,7 @@ alreadyopen is t if buffer already existed."
                                  (find-file-noselect projectfile t t))))
          (list projectbuffer projectbufferalreadyopen))))))
 
-(defconst coq--project-file-separator "[\r\n[:space:]]+")
+(defconst coq--project-file-separator "[\r\t\n[:space:]]+")
 
 (defconst coq--makefile-switch-arities
   '(("-R" . 2)