nit

LPCIC · Jul 15, 2024 · 5082964 · 5082964
1 parent 7f32612
commit 5082964
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/tc/elpi/tc_aux.elpi b/apps/tc/elpi/tc_aux.elpi
@@ -94,7 +94,7 @@ namespace tc {
       (Path = "")
       (coq.gref->path Gr [Hd | Tl], 
         if (Hd = "Coq") (Hd' = "Stdlib") (Hd' = Hd),
-        std.fold Tl Hd' (x\acc\r\ r is acc ^ "." ^ x) Path', 
+        std.string.concat "." [Hd'|Tl] Path',
         Path is Path' ^ ".tc-"),
     % CAVEAT : Non-ascii caractars can't be part of a pred
     %          name, we replace ö with o