[v8.18] Adapt Ltac2 example to API change.

ejgallego · Sep 29, 2024 · 719c726 · 719c726
1 parent f3823f5
commit 719c726
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/ItHolds.v b/examples/ItHolds.v
@@ -19,7 +19,7 @@
 Require Import Ltac2.Ltac2.
 Require Import Ltac2.Message.
 Local Ltac2 concat_list (ls : message list) : message :=
-  List.fold_right concat ls (of_string "").
+  List.fold_right concat (of_string "") ls.
 
 (** Tries to make the assertion [True] with label [label].
   Throws an error if this fails, i.e. if the label is already used