From 405038b2d8a759dd81f56cb39e9d41222b722ab7 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Thu, 9 Apr 2015 19:41:28 +0300
Subject: [PATCH] Change sources of kotlin-runtime project library

Use sources from the project instead of ones in kotlin-runtime-sources.jar.

This is not very accurate, but fixes the problem with debugging anything from
'core' in the project (sources from the project were clashing with the sources
from the library)
---
 .idea/libraries/kotlin_runtime.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.idea/libraries/kotlin_runtime.xml b/.idea/libraries/kotlin_runtime.xml
index 8be2fe9e319..c1beaee97a9 100644
--- a/.idea/libraries/kotlin_runtime.xml
+++ b/.idea/libraries/kotlin_runtime.xml
@@ -5,7 +5,9 @@
     </CLASSES>
     <JAVADOC />
     <SOURCES>
-      <root url="jar://$KOTLIN_BUNDLED$/lib/kotlin-runtime-sources.jar!/" />
+      <root url="file://$PROJECT_DIR$/libraries/stdlib/src" />
+      <root url="file://$PROJECT_DIR$/core/builtins/src" />
+      <root url="file://$PROJECT_DIR$/core/runtime.jvm/src" />
     </SOURCES>
   </library>
 </component>
\ No newline at end of file