diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 22:34:41 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 22:34:41 -0300 |
| commit | 2e52c2ba9a7ee7fb01a87498b0b547d20dd3b374 (patch) | |
| tree | 21aa99d0fd8328e9f50887a2feb1df4008ebe045 /lib/kernel/Path.ml | |
| parent | 63352e46a880985efbdfab2e539d0f4975960b94 (diff) | |
| download | RNT-2e52c2ba9a7ee7fb01a87498b0b547d20dd3b374.tar.gz RNT-2e52c2ba9a7ee7fb01a87498b0b547d20dd3b374.zip | |
change paths to use \
Diffstat (limited to 'lib/kernel/Path.ml')
| -rw-r--r-- | lib/kernel/Path.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml index f34abe2..9e3c52f 100644 --- a/lib/kernel/Path.ml +++ b/lib/kernel/Path.ml @@ -6,9 +6,8 @@ let ( @/ ) x y = x :: y let to_string path = path |> List.map (fun x -> - let str = BatString.replace ~str:x ~sub:"^" ~by:"^^" |> snd in - BatString.replace ~str ~sub:"/" ~by:"^/" |> snd ) - |> BatIO.to_string (BatList.print ~first:"/" ~last:"" ~sep:"/" BatString.print) + BatString.nreplace ~str:(BatString.nreplace ~str:x ~sub:"^" ~by:"^^") ~sub:"\\" ~by:"^\\" ) + |> BatIO.to_string (BatList.print ~first:"\\" ~last:"" ~sep:"\\" BatString.print) module Error = struct open Concepts.Condition |