diff options
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
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 |