Adapt w.r.t. coq/coq#19803.

damien-pous · Nov 13, 2024 · 7966d1a · 7966d1a
1 parent f429176
commit 7966d1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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