From 7cfb1c359faf13cd55bd92cba21fb00ca8d2d0d2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 26 Sep 2015 19:08:11 +0200
Subject: Adding a notion of monotonous evarmap.

---
 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 befeaa147..7197a2583 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -3,4 +3,5 @@ Termops
 Namegen
 UState
 Evd
+Sigma
 Proofview_monad
-- 
cgit v1.2.3