From 75f4910db440eb081a22cafccf01e1dbcb12b8c4 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Thu, 13 Feb 2003 13:01:22 +0000
Subject: Debugger plus informatif

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3675 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f12d074d33..b0aaedbc86 100644
--- a/Makefile
+++ b/Makefile
@@ -232,11 +232,11 @@ PARSERREQUIRES=\
   parsing/ppconstr.cmo parsing/printer.cmo parsing/pptactic.cmo $(TRANSLATE) \
   pretyping/typing.cmo proofs/proof_trees.cmo \
   proofs/logic.cmo proofs/refiner.cmo proofs/evar_refiner.cmo \
-  proofs/tacmach.cmo toplevel/himsg.cmo parsing/g_natsyntax.cmo \
-  parsing/g_zsyntax.cmo parsing/g_rsyntax.cmo toplevel/class.cmo \
-  toplevel/recordobj.cmo toplevel/cerrors.cmo parsing/g_vernac.cmo \
-  parsing/g_proofs.cmo parsing/g_tactic.cmo parsing/g_ltac.cmo \
-  parsing/g_constr.cmo parsing/g_cases.cmo proofs/tactic_debug.cmo \
+  proofs/tacmach.cmo proofs/tactic_debug.cmo toplevel/himsg.cmo \
+  parsing/g_natsyntax.cmo parsing/g_zsyntax.cmo parsing/g_rsyntax.cmo \
+  toplevel/class.cmo toplevel/recordobj.cmo toplevel/cerrors.cmo \
+  parsing/g_vernac.cmo parsing/g_proofs.cmo parsing/g_tactic.cmo \
+  parsing/g_ltac.cmo parsing/g_constr.cmo parsing/g_cases.cmo \
   proofs/pfedit.cmo proofs/clenv.cmo tactics/wcclausenv.cmo \
   tactics/tacticals.cmo tactics/hipattern.cmo tactics/tactics.cmo \
   tactics/hiddentac.cmo tactics/dn.cmo tactics/termdn.cmo \
-- 
cgit v1.2.3