From be11ab322fa73804118738e7a08e9910fdf4600d Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sat, 22 Oct 2016 11:03:13 +0200
Subject: Renamings to avoid confusion deprecating old names

reconsider_conv_pbs -> reconsider_unif_constraints
consider_remaining_unif_problems -> solve_unif_constraints_with_heuristics
---
 proofs/refine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/refine.ml b/proofs/refine.ml
index 2f21428900..3f55270609 100644
--- a/proofs/refine.ml
+++ b/proofs/refine.ml
@@ -157,6 +157,6 @@ end }
 let solve_constraints =
   let open Proofview in
   tclENV >>= fun env -> tclEVARMAP >>= fun sigma ->
-   try let sigma = Evarconv.consider_remaining_unif_problems env sigma in
+   try let sigma = Evarconv.solve_unif_constraints_with_heuristics env sigma in
        Unsafe.tclEVARSADVANCE sigma
    with e -> tclZERO e
-- 
cgit v1.2.3