diff --git a/idea/idea.iml b/idea/idea.iml index 44aec20b3e4..2bed2eef6a6 100644 --- a/idea/idea.iml +++ b/idea/idea.iml @@ -54,5 +54,7 @@ + + \ No newline at end of file diff --git a/ultimate/.idea/libraries/main_project_production.xml b/ultimate/.idea/libraries/main_project_production.xml index c2d200a7d20..ec5964e8c85 100644 --- a/ultimate/.idea/libraries/main_project_production.xml +++ b/ultimate/.idea/libraries/main_project_production.xml @@ -65,6 +65,10 @@ + + + +