From a67ada0c8e569e12430c85ad1847fa313cb5a619 Mon Sep 17 00:00:00 2001
From: courtieu
Date: Thu, 26 Oct 2006 16:23:06 +0000
Subject: Experimental merging of two functional graphs. temporary synatx:
 Mergeschemes (G1 a b c) with (G2 a d e) using G1G2.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 831f703337..55035e36ab 100644
--- a/Makefile
+++ b/Makefile
@@ -288,7 +288,7 @@ FUNINDCMO=\
   contrib/funind/functional_principles_proofs.cmo \
   contrib/funind/functional_principles_types.cmo \
   contrib/funind/invfun.cmo contrib/funind/indfun.cmo \
-  contrib/funind/indfun_main.cmo
+  contrib/funind/merge.cmo contrib/funind/indfun_main.cmo
 
 RECDEFCMO=\
   contrib/recdef/recdef.cmo
-- 
cgit v1.2.3