From 27190db7f119bc9b50150be6dff889986c747e38 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 21 Nov 2016 15:05:26 -0500
Subject: (v8.6) Add example in dev/doc/changes involving Tacmach.project

---
 dev/doc/changes.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index d052468f99..e926674696 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -244,6 +244,10 @@ define_evar_* mostly used internally in the unification engine.
   ...
   let Sigma (xn, sigma, pn) = ... in
   Sigma (ans, sigma, p1 +> ... +> pn)
+  
+  Examples of `Sigma.Unsafe.of_evar_map` include:
+  
+  Evarutil.new_evar env (Tacmach.project goal) ty   ----> Evarutil.new_evar env (Sigma.Unsafe.of_evar_map (Tacmach.project goal)) ty
 
 - The Proofview.Goal.*enter family of functions now takes a polymorphic
   continuation given as a record as an argument.
-- 
cgit v1.2.3