From 528bc26b7a6ee63bb35fc8ada56b021da65f9834 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 20 Mar 2016 21:06:04 +0100
Subject: Moving Evarutil and Proofview to engine/

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

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index 7197a2583..70b74edca 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -5,3 +5,5 @@ UState
 Evd
 Sigma
 Proofview_monad
+Evarutil
+Proofview
-- 
cgit v1.2.3