From f09cc85f17573e9b29a7f2980e155eb1189803bb Mon Sep 17 00:00:00 2001
From: "Maxim.Mossienko" <Maxim.Mossienko@jetbrains.com>
Date: Thu, 8 Aug 2013 13:02:11 +0200
Subject: [PATCH] more IElementType allowed for registration (EA-46744)

---
 platform/core-api/src/com/intellij/psi/tree/IElementType.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/core-api/src/com/intellij/psi/tree/IElementType.java b/platform/core-api/src/com/intellij/psi/tree/IElementType.java
index b64d76112220..ed349f7ee449 100644
--- a/platform/core-api/src/com/intellij/psi/tree/IElementType.java
+++ b/platform/core-api/src/com/intellij/psi/tree/IElementType.java
@@ -51,7 +51,7 @@ public class IElementType {
   };
 
   public static final short FIRST_TOKEN_INDEX = 1;
-  public static final short MAX_INDEXED_TYPES = 15000;
+  public static final short MAX_INDEXED_TYPES = 20000;
 
   private static short ourCounter = FIRST_TOKEN_INDEX;
   private static IElementType[] ourRegistry = new IElementType[700];