diff options
| author | herbelin | 2003-05-19 17:37:45 +0000 |
|---|---|---|
| committer | herbelin | 2003-05-19 17:37:45 +0000 |
| commit | dd7aa098ca44d8ce11f5e3059b5295f8a98f9ff5 (patch) | |
| tree | f2e908b491f3a122499701ce10fae49deb3fc217 | |
| parent | 1abd56dea147493178a582569f50c9c6f03c6008 (diff) | |
Restructutation Hipattern Pattern
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4034 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -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 |