From c034197e869cdc418b225b9abf25dee63a47e237 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 5 Mar 2001 14:11:40 +0000
Subject: module Explore générique et réécriture EAuto avec ce module; occur
 check dans clenv_merge

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1425 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e2249845f6..a85f1fc0ab 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ CONFIG=config/coq_config.cmo
 LIB=lib/pp_control.cmo lib/pp.cmo lib/util.cmo \
     lib/hashcons.cmo lib/dyn.cmo lib/system.cmo lib/options.cmo \
     lib/bstack.cmo lib/edit.cmo lib/stamps.cmo lib/gset.cmo lib/gmap.cmo \
-    lib/tlm.cmo lib/bij.cmo lib/gmapl.cmo lib/profile.cmo
+    lib/tlm.cmo lib/bij.cmo lib/gmapl.cmo lib/profile.cmo lib/explore.cmo
 
 KERNEL=kernel/names.cmo kernel/univ.cmo kernel/esubst.cmo kernel/term.cmo \
        kernel/sign.cmo kernel/declarations.cmo \
-- 
cgit v1.2.3