1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8b4dd809f8..b7e72d468f 100644
--- a/Makefile
+++ b/Makefile
@@ -252,8 +252,9 @@ XMLCMO=\
   contrib/xml/unshare.cmo contrib/xml/xml.cmo contrib/xml/acic.cmo \
   contrib/xml/doubleTypeInference.cmo \
   contrib/xml/cic2acic.cmo contrib/xml/acic2Xml.cmo \
-  contrib/xml/proof2aproof.cmo contrib/xml/proofTree2Xml.cmo \
-  contrib/xml/xmlcommand.cmo contrib/xml/xmlentries.cmo 	
+  contrib/xml/proof2aproof.cmo \
+  contrib/xml/xmlcommand.cmo contrib/xml/proofTree2Xml.cmo \
+	contrib/xml/xmlentries.cmo 	
 
 FOURIERCMO=\
   contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo \