1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common
index 5e35108db..17dd694d8 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -234,7 +234,7 @@ NEWRINGCMO:=\
   contrib/setoid_ring/newring.cmo
 
 DPCMO:=contrib/dp/dp_why.cmo contrib/dp/dp_zenon.cmo \
-      contrib/dp/dp.cmo contrib/dp/g_dp.cmo
+      contrib/dp/dp.cmo contrib/dp/dp_gappa.cmo contrib/dp/g_dp.cmo
 
 FIELDCMO:=\
   contrib/field/field.cmo