Minor cosmetics to directory names

This commit is contained in:
Dmitrii Kovanikov 2024-02-25 11:54:29 +00:00
parent 6880bc363e
commit af0b587d25

View File

@ -30,7 +30,7 @@ let rec to_tree path =
(fun child_name -> to_tree (Filename.concat path child_name))
(Sys.readdir path)
in
let dirname = Filename.basename path in
let dirname = Filename.basename path ^ "/" in
Dir (dirname, children)
else
File (Filename.basename path)