1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 93e98d02b1..188b1bc282 100644
--- a/Makefile
+++ b/Makefile
@@ -239,7 +239,7 @@ OMEGACMO=\
   contrib/omega/g_omega.cmo 
 
 ROMEGACMO=\
-  contrib/romega/omega2.cmo contrib/romega/const_omega.cmo \
+  contrib/romega/const_omega.cmo \
   contrib/romega/refl_omega.cmo contrib/romega/g_romega.cmo
 
 RINGCMO=\