1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 52d6642e30..66f5f7ca31 100644
--- a/Makefile
+++ b/Makefile
@@ -666,7 +666,7 @@ RINGVO = contrib/ring/ArithRing.vo      contrib/ring/Ring_normalize.vo \
 FIELDVO = contrib/field/Field_Compl.vo     contrib/field/Field_Theory.vo \
           contrib/field/Field_Tactic.vo    contrib/field/Field.vo
 
-XMLVO = Xml.vo
+XMLVO = 
 
 INTERFACEV0 = contrib/interface/Centaur.vo