From 508296493d9ab0a5abcd7b13d44d69c96976cdc9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 15 Jul 2024 10:35:19 +0200
Subject: [PATCH] nit

---
 apps/tc/elpi/tc_aux.elpi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/tc/elpi/tc_aux.elpi b/apps/tc/elpi/tc_aux.elpi
index 8c90c76f7..a6f7fd352 100644
--- 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