From 78b499b6c9065a5c9840bb2ed45a8069c9c79991 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Tue, 12 Apr 2022 11:40:19 +0200
Subject: [PATCH] Adapt w.r.t. coq/coq#15434. (#1185)

---
 src/Util/ListUtil.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Util/ListUtil.v b/src/Util/ListUtil.v
index 055078f250..00970eb662 100644
--- a/src/Util/ListUtil.v
+++ b/src/Util/ListUtil.v
@@ -2840,7 +2840,7 @@ Ltac rewrite_fold_left_fun_apply :=
 Definition span_cps' {A} (f : A -> bool) {T} (k : list A * list A -> T)
   := fix span_cps' (ls : list A) (prefix : list A) : T
     := match ls with
-       | nil => k (List.rev prefix, nil)
+       | nil => k (List.rev prefix, ls)
        | x :: xs => if f x then span_cps' xs (x :: prefix) else k (List.rev prefix, ls)
        end.