1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 581d751464..985f814114 100644
--- a/Makefile
+++ b/Makefile
@@ -50,7 +50,7 @@ OBJS=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY) $(PARSING)
 
 # Targets
 
-world: minicoq coqtop
+world: minicoq coqtop dev/db_printers.cmo
 
 # coqtop