From 7966d1a7bb524444120c56c3474717bcc91a5215 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Thu, 7 Nov 2024 19:08:59 +0100
Subject: [PATCH] Adapt w.r.t. coq/coq#19803.

---
 src/fold.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fold.ml b/src/fold.ml
index 8e9a3fe..74f7277 100644
--- a/src/fold.ml
+++ b/src/fold.ml
@@ -26,7 +26,7 @@ let ra_fold_term env sigma ops ob t =
   let obt = Monoid.ob ops in
   (* TOTKINK: Use  Evarconv.conv ? *)
   let unifiable sg env x y =
-    try sigma := Unification.w_unify env sg Conversion.CONV x y; true
+    try sigma := snd @@ Unification.w_unify env sg Conversion.CONV x y; true
     with _ -> false
   in