diff --git a/jps/jps-plugin/src/org/jetbrains/kotlin/jps/build/ideaPlatform.kt.as31 b/jps/jps-plugin/src/org/jetbrains/kotlin/jps/build/ideaPlatform.kt.as31
deleted file mode 100644
index c014f4b30fa..00000000000
--- a/jps/jps-plugin/src/org/jetbrains/kotlin/jps/build/ideaPlatform.kt.as31
+++ /dev/null
@@ -1,13 +0,0 @@
-/*
- * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license
- * that can be found in the license/LICENSE.txt file.
- */
-
-package org.jetbrains.kotlin.jps.build
-
-import org.jetbrains.jps.incremental.CompileContext
-import org.jetbrains.jps.incremental.messages.CompilerMessage
-
-fun jpsReportInternalBuilderError(context: CompileContext, error: Throwable) {
-    KotlinBuilder.LOG.info(error)
-}
\ No newline at end of file