From de1500370673ef74ebbedefa64d49200258261b7 Mon Sep 17 00:00:00 2001 From: Yan Zhulanow Date: Fri, 9 Dec 2016 20:25:09 +0300 Subject: [PATCH] Minor: Add sam-with-receiver to Ultimate project classpath, fix cli plugin path in build.xml --- build.xml | 4 ++-- ultimate/.idea/libraries/main_project_production.xml | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index e7495038cb4..35c836a7541 100644 --- a/build.xml +++ b/build.xml @@ -874,7 +874,7 @@ - + @@ -885,7 +885,7 @@ - + diff --git a/ultimate/.idea/libraries/main_project_production.xml b/ultimate/.idea/libraries/main_project_production.xml index ec5964e8c85..ab42582923f 100644 --- a/ultimate/.idea/libraries/main_project_production.xml +++ b/ultimate/.idea/libraries/main_project_production.xml @@ -69,6 +69,8 @@ + +