From ba50753e9da60a23a40dedea59fb7f25e3ba4d15 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 9 Oct 2014 18:40:14 +0200
Subject: No need anymore for referring to xml directory in MLINCLUDES.

---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 6dc193d6e4..b47a3e3224 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -67,7 +67,7 @@ CORESRCDIRS:=\
 
 PLUGINS:=\
   omega		romega 		micromega 	quote \
-  setoid_ring 	xml 		extraction 	fourier \
+  setoid_ring 	extraction 	fourier \
   cc 		funind 		firstorder 	Derive \
   rtauto 	nsatz           syntax          decl_mode	btauto
 
-- 
cgit v1.2.3