From a8cd7f39d9f22aa102496b1ca8b49bd9026ff257 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 2 Aug 2024 15:16:08 +0200
Subject: [PATCH] Drop deprecated methods

---
 .../logic/reactor/evaluation/EvaluationFeedback.java | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java
index 37be1182..b4998635 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java
@@ -25,17 +25,7 @@ import org.jetbrains.annotations.NotNull;
  * @author Fedor Isakov
  */
 abstract public class EvaluationFeedback {
-
-    @Deprecated
-    public static EvaluationFeedback details(String message) {
-        return new DetailedFeedback(message, Severity.INFO, null);
-    }
-
-    @Deprecated
-    public static EvaluationFeedback details(String message, Severity severity) {
-        return new DetailedFeedback(message, severity, null);
-    }
-
+    
     public static EvaluationFeedback debug(String message, Object details) {
         return new DetailedFeedback(message, Severity.DEBUG, details);
     }