From 1683b718f85134fdb0d49535e489344e1a7d56f5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 30 Nov 2016 00:33:08 +0100
Subject: Making Evd independent from Namegen.

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

(limited to 'engine/sigma.ml')

diff --git a/engine/sigma.ml b/engine/sigma.ml
index 9381a33af1..001f8be80a 100644
--- a/engine/sigma.ml
+++ b/engine/sigma.ml
@@ -29,8 +29,8 @@ let here x s = Sigma (x, s, ())
 
 type 'r fresh = Fresh : 's evar * 's t * ('r, 's) le -> 'r fresh
 
-let new_evar sigma ?naming info =
-  let (sigma, evk) = Evd.new_evar sigma ?naming info in
+let new_evar sigma ?name info =
+  let (sigma, evk) = Evd.new_evar sigma ?name info in
   Fresh (evk, sigma, ())
 
 let define evk c sigma =
-- 
cgit v1.2.3