From af0b587d25ae47a86ac053d0d05daebc17436132 Mon Sep 17 00:00:00 2001 From: Dmitrii Kovanikov Date: Sun, 25 Feb 2024 11:54:29 +0000 Subject: [PATCH] Minor cosmetics to directory names --- lib/fs.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/fs.ml b/lib/fs.ml index fddd2dd..856ed7c 100644 --- a/lib/fs.ml +++ b/lib/fs.ml @@ -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)