From b2e27f9172ec3b1c57d1de935e345a3feb624adc Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Fri, 8 Sep 2017 16:45:13 +0200 Subject: [PATCH] Add idea-jvm to ultimate 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 8ac15bd1fd3..0ace6040325 100644 --- a/ultimate/.idea/libraries/main_project_production.xml +++ b/ultimate/.idea/libraries/main_project_production.xml @@ -41,6 +41,7 @@ + @@ -104,6 +105,7 @@ +