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: -->