1 files changed, 1 insertions, 1 deletions
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