diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/markers/OverridenDeclarationMarker.kt b/idea/src/org/jetbrains/jet/plugin/highlighter/markers/OverridenFunctionMarker.kt
similarity index 100%
rename from idea/src/org/jetbrains/jet/plugin/highlighter/markers/OverridenDeclarationMarker.kt
rename to idea/src/org/jetbrains/jet/plugin/highlighter/markers/OverridenFunctionMarker.kt