Merge PR #18649: Ltac2: fix type of FMap.fold

Reviewed-by: ppedrot Co-authored-by: ppedrot <ppedrot@users.noreply.github.com>
coq · Feb 9, 2024 · 677bb35 · 677bb35
2 parents 0c1a6d0 + 39b3871
commit 677bb35
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".