From 04c09bedebbd90c02fc7692d2934188b0252aa25 Mon Sep 17 00:00:00 2001
From: Yan Zhulanow <Yan.Zhulanow@jetbrains.com>
Date: Mon, 19 Jun 2017 16:43:04 +0300
Subject: [PATCH] SamWithReceiver, minor: Add missing module to Spring plugin
 classpath (fixes Spring tests)

---
 ultimate/.idea/libraries/main_project_production.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ultimate/.idea/libraries/main_project_production.xml b/ultimate/.idea/libraries/main_project_production.xml
index b92de1e4e63..6321c151365 100644
--- a/ultimate/.idea/libraries/main_project_production.xml
+++ b/ultimate/.idea/libraries/main_project_production.xml
@@ -71,6 +71,7 @@
       <root url="file://$PROJECT_DIR$/../out/production/noarg-cli" />
       <root url="file://$PROJECT_DIR$/../out/production/sam-with-receiver-cli" />
       <root url="file://$PROJECT_DIR$/../out/production/sam-with-receiver-ide" />
+      <root url="file://$PROJECT_DIR$/../out/production/annotation-based-compiler-plugins-ide-support" />
       <root url="file://$PROJECT_DIR$/../out/production/frontend.script" />
     </CLASSES>
     <JAVADOC />