Ltac2: fix type of FMap.fold

Fix coq#18635 (cherry picked from commit 39b3871)
SkySkimmer · Feb 19, 2024 · 92f762d · 92f762d
1 parent b0d8e8e
commit 92f762d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/user-contrib/Ltac2/FMap.v b/user-contrib/Ltac2/FMap.v
@@ -29,7 +29,7 @@ Ltac2 @ external find_opt : 'k -> ('k, 'v) t -> 'v option := "coq-core.plugins.l
 
 Ltac2 @ external mapi : ('k -> 'v -> 'r) -> ('k, 'v) t -> ('k, 'r) t := "coq-core.plugins.ltac2" "fmap_mapi".
 
-Ltac2 @ external fold : ('k -> 'v -> 'acc) -> ('k, 'v) t -> 'acc -> 'acc := "coq-core.plugins.ltac2" "fmap_fold".
+Ltac2 @ external fold : ('k -> 'v -> 'acc -> 'acc) -> ('k, 'v) t -> 'acc -> 'acc := "coq-core.plugins.ltac2" "fmap_fold".
 
 Ltac2 @ external cardinal : ('k, 'v) t -> int := "coq-core.plugins.ltac2" "fmap_cardinal".