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 @@ + +