diff --git a/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleRunner.kt b/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleRunner.kt
index 33f932b0b14..963bbd06e8a 100644
--- a/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleRunner.kt
+++ b/idea/idea-repl/src/org/jetbrains/kotlin/console/KotlinConsoleRunner.kt
@@ -30,7 +30,6 @@ import com.intellij.openapi.editor.markup.*
 import com.intellij.openapi.module.Module
 import com.intellij.openapi.project.Project
 import com.intellij.openapi.util.Disposer
-import com.intellij.psi.PsiManager
 import com.intellij.util.Consumer
 import org.jetbrains.kotlin.console.actions.BuildAndRestartConsoleAction
 import org.jetbrains.kotlin.console.actions.KtExecuteCommandAction
@@ -40,9 +39,6 @@ import org.jetbrains.kotlin.console.gutter.ReplIcons
 import org.jetbrains.kotlin.console.highlight.KotlinReplOutputHighlighter
 import org.jetbrains.kotlin.console.highlight.ReplColors
 import org.jetbrains.kotlin.idea.JetLanguage
-import org.jetbrains.kotlin.idea.caches.resolve.productionSourceInfo
-import org.jetbrains.kotlin.psi.JetFile
-import org.jetbrains.kotlin.psi.moduleInfo
 import java.awt.Color
 import java.awt.Font
 import java.util.concurrent.ConcurrentHashMap
@@ -71,7 +67,6 @@ public class KotlinConsoleRunner(
                 .build(project, JetLanguage.INSTANCE)
 
         consoleView.prompt = null
-        configureModuleForConsoleFile(consoleView)
 
         val consoleEditor = consoleView.consoleEditor
 
@@ -139,12 +134,6 @@ public class KotlinConsoleRunner(
         editor.setPlaceholderAttributes(placeholderAttrs)
     }
 
-    private fun configureModuleForConsoleFile(consoleView: LanguageConsoleView) {
-        val consoleFile = consoleView.virtualFile
-        val jetFile = PsiManager.getInstance(project).findFile(consoleFile) as JetFile
-        jetFile.moduleInfo = module.productionSourceInfo()
-    }
-
     fun setupGutters() {
         fun configureEditorGutter(editor: EditorEx, color: Color, icon: Icon) {
             editor.settings.isLineMarkerAreaShown = true // hack to show gutter