From 7f06d7ab050cd9e919bfa5079dfce3abaf694c52 Mon Sep 17 00:00:00 2001
From: Dmitry Batkovich <dmitry.batkovich@jetbrains.com>
Date: Wed, 16 Sep 2020 07:56:12 +0300
Subject: [PATCH] fix compatibility

GitOrigin-RevId: 45f5f5965bc8d47b8d564902cb506c1e61f36aeb
---
 .../com/intellij/psi/stubs/SerializationManagerEx.java   | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/platform/indexing-impl/src/com/intellij/psi/stubs/SerializationManagerEx.java b/platform/indexing-impl/src/com/intellij/psi/stubs/SerializationManagerEx.java
index b80417614c0c..0ef6f5c8ade6 100644
--- a/platform/indexing-impl/src/com/intellij/psi/stubs/SerializationManagerEx.java
+++ b/platform/indexing-impl/src/com/intellij/psi/stubs/SerializationManagerEx.java
@@ -33,6 +33,15 @@ public abstract class SerializationManagerEx extends SerializationManager {
 
   public abstract void repairNameStorage(@NotNull Exception corruptionCause);
 
+  /**
+   * @deprecated use {@link SerializationManagerEx#repairNameStorage(Exception)}
+   * with specified corruption cause
+   */
+  @Deprecated
+  public void repairNameStorage() {
+    repairNameStorage(new Exception());
+  }
+
   public abstract void flushNameStorage();
 
   public abstract void reinitializeNameStorage();