From 78eb89f254d699f1024573c39ad8ed5808245210 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Fri, 21 Oct 2016 18:25:58 +0200
Subject: Oops, my bad, didn't expect a merge issue!

---
 engine/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/proofview.ml')

diff --git a/engine/proofview.ml b/engine/proofview.ml
index 208837f6a..855235d2b 100644
--- a/engine/proofview.ml
+++ b/engine/proofview.ml
@@ -941,7 +941,7 @@ module Unsafe = struct
   let mark_as_goal evd content =
     mark_in_evm ~goal:true evd content
 
-  let advance = advance
+  let advance = Evarutil.advance
 
   let mark_as_unresolvable p gl =
     { p with solution = mark_in_evm ~goal:false p.solution gl }
-- 
cgit v1.2.3