From 2fca1dd56f5830b1914de995d512ad61aaecdcec Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 27 Oct 2009 14:32:59 +0300
Subject: [PATCH] fix python plugin build

---
 python/build/build-plugin.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/python/build/build-plugin.xml b/python/build/build-plugin.xml
index f42864efd0f3..956cc074d135 100644
--- a/python/build/build-plugin.xml
+++ b/python/build/build-plugin.xml
@@ -66,6 +66,9 @@
             <include name="src"/>
             <include name="pluginSrc"/>
         </dirset>
+      <dirset dir="${plugin.home}/../ultimate/ultimate-verifier">
+        <include name="src"/>
+      </dirset>
     </path>
 
     <!-- The task requires the following libraries from IntelliJ IDEA distribution: -->