diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-15 08:22:41 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-15 08:22:41 +0000 |
| commit | ebd8983ffa4fd0656b00462b841ce24910f9761f (patch) | |
| tree | 0362a71e84263a2bbeb4b97255b7b967772a750c /Makefile.common | |
| parent | 4586e512ff1f8b7e3911959bd2ab60f465f236f9 (diff) | |
Oubli lors de la révision 10899 (Bool_nat.vo)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10928 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Makefile.common b/Makefile.common index 2a260643f..730e5678d 100644 --- a/Makefile.common +++ b/Makefile.common @@ -505,11 +505,12 @@ LOGICVO:=$(addprefix theories/Logic/, \ IndefiniteDescription.vo SetIsType.vo ) ARITHVO:=$(addprefix theories/Arith/, \ - Arith.vo Gt.vo Between.vo Le.vo \ - Compare.vo Lt.vo Compare_dec.vo Min.vo \ - Div2.vo Minus.vo Mult.vo Even.vo \ - EqNat.vo Peano_dec.vo Euclid.vo Plus.vo \ - Wf_nat.vo Max.vo Factorial.vo Arith_base.vo ) + Arith.vo Gt.vo Between.vo Le.vo \ + Compare.vo Lt.vo Compare_dec.vo Min.vo \ + Div2.vo Minus.vo Mult.vo Even.vo \ + EqNat.vo Peano_dec.vo Euclid.vo Plus.vo \ + Wf_nat.vo Max.vo Bool_nat.vo Factorial.vo \ + Arith_base.vo ) SORTINGVO:=$(addprefix theories/Sorting/, \ Heap.vo Permutation.vo Sorting.vo PermutSetoid.vo \ |