1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 847a1eac98..b0d35951b4 100644
--- a/Makefile
+++ b/Makefile
@@ -279,7 +279,7 @@ FUNINDCMO=\
 FOCMO=\
   contrib/first-order/formula.cmo contrib/first-order/sequent.cmo \
   contrib/first-order/unify.cmo contrib/first-order/rules.cmo \
-  contrib/first-order/ground.cmo
+  contrib/first-order/instances.cmo contrib/first-order/ground.cmo
 
 CCCMO=contrib/cc/ccalgo.cmo contrib/cc/ccproof.cmo contrib/cc/cctac.cmo