Backport PR coq#18649: Ltac2: fix type of FMap.fold

SkySkimmer · Feb 19, 2024 · 3784022 · 3784022
2 parents b0d8e8e + 92f762d
commit 3784022
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".