From 746e74ed6e70cf01f0a0e73f772c3565e28fe3f8 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 26 Jul 2018 17:07:08 +0200
Subject: [evarconv] New flag handling for unifier

---
 proofs/evar_refiner.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'proofs')

diff --git a/proofs/evar_refiner.ml b/proofs/evar_refiner.ml
index 1b2756f49f..0f97a942ed 100644
--- a/proofs/evar_refiner.ml
+++ b/proofs/evar_refiner.ml
@@ -37,8 +37,8 @@ let define_and_solve_constraints evk c env evd =
   match
     List.fold_left
       (fun p (pbty,env,t1,t2) -> match p with
-        | Success evd -> Evarconv.evar_conv_x TransparentState.full env evd pbty t1 t2
-	| UnifFailure _ as x -> x) (Success evd)
+        | Success evd -> Evarconv.evar_conv_x (Evarconv.default_flags_of TransparentState.full) env evd pbty t1 t2
+        | UnifFailure _ as x -> x) (Success evd)
       pbs
   with
     | Success evd -> evd
-- 
cgit v1.2.3