From 3d83e09c5b66c23dc44acfe97fd07cf03cb6f304 Mon Sep 17 00:00:00 2001 From: "Pavel V. Talanov" Date: Tue, 17 Jun 2014 16:08:48 +0400 Subject: [PATCH] Minor: fix compilation warning --- .../jet/lang/psi/stubs/elements/JetStubElementType.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetStubElementType.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetStubElementType.java index 78e1885567b..cac012ab8a3 100644 --- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetStubElementType.java +++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetStubElementType.java @@ -93,7 +93,7 @@ public abstract class JetStubElementType