From d6f88819f5279e94d33e0e15f6be1e368210af08 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 17 Feb 2019 17:51:05 +0100
Subject: [paths] Try to be more portable on Win32

Absolute paths follow different separator rules so "c:\foo/bar" may
not work on `mingw`.

We try to improve this situation using OCaml's `Filename.dir_sep/concat`
---
 toplevel/coqinit.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index e1d35e537b..74a089510e 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -11,7 +11,7 @@
 open Util
 open Pp
 
-let ( / ) s1 s2 = s1 ^ "/" ^ s2
+let ( / ) s1 s2 = Filename.concat s1 s2
 
 let set_debug () =
   let () = Backtrace.record_backtrace true in
-- 
cgit v1.2.3