From 52ca1a2a172d73ba0db1f37b2cf6ca9c8ceaf199 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 18 Oct 2007 14:26:44 +0000
Subject: Copie de PreOmega.vo dans le répertoire d'installation de Coq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10239 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index fe9551653d..3cff1c7620 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -709,7 +709,7 @@ THEORIESLIGHTVO:= $(INITVO) $(LOGICVO) $(ARITHVO)
 ## Contribs
 
 OMEGAVO:=\
- contrib/omega/OmegaLemmas.vo contrib/omega/Omega.vo
+ contrib/omega/PreOmega.vo contrib/omega/OmegaLemmas.vo contrib/omega/Omega.vo
 
 ROMEGAVO:=\
  contrib/romega/ReflOmegaCore.vo contrib/romega/ROmega.vo 
-- 
cgit v1.2.3