diff options
| author | filliatr | 1999-10-19 13:18:30 +0000 |
|---|---|---|
| committer | filliatr | 1999-10-19 13:18:30 +0000 |
| commit | 23545bcf76d5700134eb03ae33d4ba66d1b1b619 (patch) | |
| tree | 8d18e4b928adda3710cfab38d286fb9b9ee305da /Makefile | |
| parent | 71d73e9d7f3fd54d5a3264a93c74cd742e3d7de3 (diff) | |
les variables existentielles contiennent maintenant un environnement (type
unsafe_env) et non pas seulement une signature. Le module Evd vient donc apres
le module Environ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@108 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -36,9 +36,9 @@ LIB=lib/pp_control.cmo lib/pp.cmo lib/util.cmo \ lib/bstack.cmo lib/edit.cmo lib/stamps.cmo KERNEL=kernel/names.cmo kernel/generic.cmo kernel/univ.cmo kernel/term.cmo \ - kernel/sign.cmo kernel/constant.cmo kernel/evd.cmo \ + kernel/sign.cmo kernel/constant.cmo \ kernel/inductive.cmo kernel/sosub.cmo kernel/abstraction.cmo \ - kernel/environ.cmo kernel/instantiate.cmo \ + kernel/environ.cmo kernel/evd.cmo kernel/instantiate.cmo \ kernel/closure.cmo kernel/reduction.cmo \ kernel/type_errors.cmo kernel/typeops.cmo kernel/indtypes.cmo \ kernel/typing.cmo |