From d6be54f07b42c765f760a52c2ea06986386bcc8f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 18 Oct 2004 00:28:55 +0000
Subject: Tacred après Typing

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

diff --git a/Makefile b/Makefile
index 3c28da8faa..a419b5e3be 100644
--- a/Makefile
+++ b/Makefile
@@ -133,8 +133,9 @@ LIBRARY=\
 PRETYPING=\
   pretyping/termops.cmo pretyping/evd.cmo \
   pretyping/reductionops.cmo pretyping/inductiveops.cmo \
-  pretyping/retyping.cmo pretyping/cbv.cmo pretyping/tacred.cmo \
+  pretyping/retyping.cmo pretyping/cbv.cmo \
   pretyping/pretype_errors.cmo pretyping/recordops.cmo pretyping/typing.cmo \
+  pretyping/tacred.cmo \
   pretyping/evarutil.cmo pretyping/unification.cmo pretyping/evarconv.cmo \
   pretyping/classops.cmo pretyping/coercion.cmo pretyping/clenv.cmo \
   pretyping/rawterm.cmo pretyping/pattern.cmo \
-- 
cgit v1.2.3