From dd7aa098ca44d8ce11f5e3059b5295f8a98f9ff5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 19 May 2003 17:37:45 +0000
Subject: Restructutation Hipattern Pattern

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

diff --git a/Makefile b/Makefile
index d39a96d9e2..06f41de2b9 100644
--- a/Makefile
+++ b/Makefile
@@ -108,13 +108,14 @@ LIBRARY=\
 PRETYPING=\
   pretyping/termops.cmo pretyping/evd.cmo pretyping/instantiate.cmo \
   pretyping/reductionops.cmo pretyping/inductiveops.cmo \
-  pretyping/rawterm.cmo pretyping/detyping.cmo pretyping/retyping.cmo \
+  pretyping/rawterm.cmo pretyping/pattern.cmo \
+  pretyping/detyping.cmo pretyping/retyping.cmo \
   pretyping/cbv.cmo pretyping/tacred.cmo \
   pretyping/pretype_errors.cmo pretyping/typing.cmo \
   pretyping/classops.cmo pretyping/recordops.cmo pretyping/indrec.cmo \
   pretyping/evarutil.cmo pretyping/evarconv.cmo \
   pretyping/coercion.cmo pretyping/cases.cmo pretyping/pretyping.cmo \
-  pretyping/pattern.cmo pretyping/matching.cmo
+  pretyping/matching.cmo
 
 INTERP=\
   interp/topconstr.cmo interp/ppextend.cmo interp/symbols.cmo \
@@ -153,8 +154,8 @@ PROOFS=\
 
 TACTICS=\
   tactics/dn.cmo tactics/termdn.cmo tactics/btermdn.cmo \
-  tactics/nbtermdn.cmo tactics/hipattern.cmo tactics/wcclausenv.cmo \
-  tactics/tacticals.cmo tactics/tactics.cmo \
+  tactics/nbtermdn.cmo tactics/wcclausenv.cmo \
+  tactics/tacticals.cmo tactics/hipattern.cmo tactics/tactics.cmo \
   tactics/hiddentac.cmo tactics/elim.cmo \
   tactics/dhyp.cmo tactics/auto.cmo tactics/tacinterp.cmo
 
-- 
cgit v1.2.3