From d6689d3ad6b770fb9ab6062eeb21b661008722d7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 6 Oct 2023 10:40:24 +0200
Subject: [PATCH] Change ASTPlugin to match the original a little more closely
---
src/org/eventb/internal/core/ast/ASTPlugin.java | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/org/eventb/internal/core/ast/ASTPlugin.java b/src/org/eventb/internal/core/ast/ASTPlugin.java
index 2edaa40..bcee138 100644
--- a/src/org/eventb/internal/core/ast/ASTPlugin.java
+++ b/src/org/eventb/internal/core/ast/ASTPlugin.java
@@ -1,6 +1,7 @@
package org.eventb.internal.core.ast;
public class ASTPlugin {
- public static String PLUGIN_ID = "who.cares";
- public static void log(Object who, Object cares) {}
+ public static final String PLUGIN_ID = "org.eventb.core.ast"; //$NON-NLS-1$
+
+ public static void log(Throwable exc, String message) {}
}
--
GitLab