From 61e190c3e6847ef9a5b90d3028e6c70f85bb7cf0 Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Thu, 28 Nov 2013 16:45:31 +0400
Subject: [PATCH] Move stub index

---
 .../jet/lang/psi/stubs/elements/JetFileElementType.java         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetFileElementType.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetFileElementType.java
index 5b0e9d813c4..94e4574f722 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetFileElementType.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/stubs/elements/JetFileElementType.java
@@ -36,7 +36,7 @@ import org.jetbrains.jet.plugin.JetLanguage;
 import java.io.IOException;
 
 public class JetFileElementType extends IStubFileElementType<PsiJetFileStub> {
-    public static final int STUB_VERSION = 24;
+    public static final int STUB_VERSION = 25;
 
     public JetFileElementType() {
         super("jet.FILE", JetLanguage.INSTANCE);