From 99e7df703525f4103c9eab6c61b411aef104f421 Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Thu, 15 Sep 2016 14:06:38 +0300
Subject: [PATCH] Remove duplicated line from build.xml

---
 build.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.xml b/build.xml
index 98ef5b67d76..921476c8e7f 100644
--- a/build.xml
+++ b/build.xml
@@ -91,7 +91,6 @@
         <include name="core/util.runtime/src"/>
         <include name="compiler/backend/src"/>
         <include name="compiler/backend-common/src"/>
-        <include name="compiler/backend-common/src"/>
         <include name="compiler/ir/backend.common/src"/>
         <include name="compiler/ir/backend.jvm/src"/>
         <include name="compiler/ir/ir.psi2ir/src"/>