Merge pull request #135 from ppedrot/rm-tc-evd-hook

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

Author: ppedrot

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"