diff options
| author | notin | 2007-10-18 14:16:39 +0000 |
|---|---|---|
| committer | notin | 2007-10-18 14:16:39 +0000 |
| commit | 4781b722501dc1a730a11da477e36e4429bcd5f8 (patch) | |
| tree | 057cfd572d7547e984b2dddecdc539f5c4ad7ca1 | |
| parent | 66fcae7934dbd06de98e63195a2a8496c61dc7b3 (diff) | |
Typo dans Makefile.common
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10237 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index ee8723710f..fe9551653d 100644 --- a/Makefile.common +++ b/Makefile.common @@ -696,7 +696,7 @@ INTEGERVO:=$(INTEGERABSTRACTVO) $(INTEGERBINARYVO) $(INTEGERNATPAIRSVO) $(INTEGE NUMBERSVO:=$(NATURALVO) $(INTEGERVO) -SETOIDSVO:= theories/Setoids/Setoid_tac.v theories/Setoids/Setoid_Prop.v theories/Setoids/Setoid.vo +SETOIDSVO:= theories/Setoids/Setoid_tac.vo theories/Setoids/Setoid_Prop.vo theories/Setoids/Setoid.vo THEORIESVO:=\ $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \ |