From 5bd04a6d224190f17df68c1b8b50956033c6c43b Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Wed, 16 Aug 2017 11:00:02 +0200 Subject: [PATCH] Fix ultimate tests: add idea-gradle to main project classpath --- ultimate/.idea/libraries/main_project_production.xml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ultimate/.idea/libraries/main_project_production.xml b/ultimate/.idea/libraries/main_project_production.xml index 6321c151365..8ac15bd1fd3 100644 --- a/ultimate/.idea/libraries/main_project_production.xml +++ b/ultimate/.idea/libraries/main_project_production.xml @@ -73,6 +73,7 @@ + @@ -107,6 +108,7 @@ + \ No newline at end of file