From cef9fd25ae9d4026b8a02991ae4bb6bd8f8458fa Mon Sep 17 00:00:00 2001
From: irengrig <Irina.Chernushina@jetbrains.com>
Date: Wed, 21 Sep 2016 12:46:46 +0200
Subject: [PATCH] json schema, increment file index (stylelint changed)

---
 .../jsonSchema/extension/schema/JsonSchemaFileIndex.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java b/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java
index 2e8ad4da882b..ded69917fd3c 100644
--- a/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java
+++ b/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java
@@ -35,7 +35,7 @@ import java.util.Map;
  */
 public class JsonSchemaFileIndex extends FileBasedIndexExtension<String, Integer> {
   public static final ID<String, Integer> PROPERTIES_INDEX = ID.create("json.schema.properties.index");
-  public static final int VERSION = 8;
+  public static final int VERSION = 9;
   private IntInlineKeyDescriptor myKeyDescriptor = new IntInlineKeyDescriptor();
 
   @NotNull