From c3e6866b05a0360946e93fed5ea8828b76586d4e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto
Date: Thu, 6 Mar 2014 17:24:02 +0100
Subject: Lets coqtop use a slash

---
 toplevel/coqinit.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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