From e3be8cdf7c4aa3882028d460267b136dcc36754a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 14 Dec 1999 08:03:32 +0000
Subject: pretty-printers pour le debugger

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@251 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 22f2217f05..75d10efaab 100644
--- a/Makefile
+++ b/Makefile
@@ -200,7 +200,7 @@ theories: $(INIT)
 ###########################################################################
 
 tools: tools/coqdep tools/coq_makefile tools/gallina tools/coq-tex \
-       tools/coq.elc dev/db_printers.cmo
+       tools/coq.elc dev/top_printers.cmo
 
 COQDEPCMX= config/coq_config.cmx tools/coqdep_lexer.cmx tools/coqdep.cmx
 
-- 
cgit v1.2.3