From 5cb4e0b2892bc699e69d31af0e95c7e1f621083a Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 10 Sep 2019 13:19:59 +0200
Subject: [PATCH] Deprecate getting "current" EvaluationSession.

---
 .../mps/logic/reactor/evaluation/EvaluationSession.java     | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
index 141483fb..84741277 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java
@@ -34,11 +34,7 @@ import java.util.Map;
  */
 public abstract class EvaluationSession {
 
-    @SuppressWarnings("unchecked")
-    public static <S extends EvaluationSession> S current(Class<S> sessionClass) {
-        return (S) current();
-    }
-
+    @Deprecated
     public static EvaluationSession current() {
         if (ourBackend == null) throw new IllegalStateException("no backend");
         return ourBackend.current();