From df5a27ea4f1f1d0919aecb44d928a39e49902be9 Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Tue, 21 Jan 2025 08:25:22 +0100 Subject: [PATCH] Use directory structure instead of dotpath --- src/context/common.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/context/common.ml b/src/context/common.ml index 58547b920e0..3e60b07b61e 100644 --- a/src/context/common.ml +++ b/src/context/common.ml @@ -234,7 +234,7 @@ class file_keys = object(self) method generate_virtual mpath step = incr virtual_counter; - Printf.sprintf "%s/file_%i_%i" (s_type_path mpath) step !virtual_counter + Printf.sprintf "%s/%s_%i_%i" (ExtLib.String.join "/" (fst mpath)) (snd mpath) step !virtual_counter end