Drop deprecated methods

2024-08-02 15:16:08 +02:00 · 2024-08-02 15:16:08 +02:00 · a8cd7f39d9
parent 1146935e8d
commit a8cd7f39d9
1 changed files with 1 additions and 11 deletions
--- 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);
    }