diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-10-18 00:28:55 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-10-18 00:28:55 +0000 |
| commit | d6be54f07b42c765f760a52c2ea06986386bcc8f (patch) | |
| tree | 3f34072321064b13f1408129c1972174d5cdada8 /Makefile | |
| parent | a88f5254ec70942840a86e6d39aff832cf125790 (diff) | |
Tacred après Typing
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6230 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 \ |