From 1ef7f96c8c4186a3a23183ff825ccc91808e5cc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Fri, 21 Feb 2025 19:59:25 +0100
Subject: [PATCH] Adapt w.r.t. coq/coq#20278.

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

diff --git a/src/parametricity.ml b/src/parametricity.ml
index 3a9a972..d49b10b 100644
--- a/src/parametricity.ml
+++ b/src/parametricity.ml
@@ -25,7 +25,7 @@ let mkannot = Context.make_annot
 let error msg = CErrors.user_err msg
 
 let new_evar_compat env evd uf_opaque_stmt =
-  Evarutil.new_evar env evd uf_opaque_stmt
+  Evarutil.new_evar ~typeclass_candidate:false env evd uf_opaque_stmt
 
 module CoqConstants = struct
   let msg = "parametricity: unable to fetch constants"