1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.common b/Makefile.common
index 8421d397e..bfabd8021 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -281,10 +281,10 @@ RECDEFCMO:=\
   contrib/recdef/recdef.cmo
 
 FOCMO:=\
-  contrib/first-order/formula.cmo contrib/first-order/unify.cmo \
-  contrib/first-order/sequent.cmo contrib/first-order/rules.cmo \
-  contrib/first-order/instances.cmo contrib/first-order/ground.cmo \
-  contrib/first-order/g_ground.cmo
+  contrib/firstorder/formula.cmo contrib/firstorder/unify.cmo \
+  contrib/firstorder/sequent.cmo contrib/firstorder/rules.cmo \
+  contrib/firstorder/instances.cmo contrib/firstorder/ground.cmo \
+  contrib/firstorder/g_ground.cmo
 
 CCCMO:=contrib/cc/ccalgo.cmo contrib/cc/ccproof.cmo contrib/cc/cctac.cmo \
   contrib/cc/g_congruence.cmo