From a42795cc1c2a8ed3efa9960af920ff7b16d928f0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 1 Sep 2016 17:52:44 +0200
Subject: Introducing a new EConstr.t type to perform the nf_evar operation on
 demand.

---
 engine/engine.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index 53cbbd73e..c78f37a85 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -4,6 +4,7 @@ Universes
 UState
 Evd
 Sigma
+EConstr
 Termops
 Proofview_monad
 Evarutil
-- 
cgit v1.2.3