diff --git a/src/org/eventb/internal/core/ast/ASTPlugin.java b/src/org/eventb/internal/core/ast/ASTPlugin.java
index 2edaa40956a3440f51dcba3ecce8d878c6222413..bcee1382bd89ac3d783ad142abced13a5d6bc2eb 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) {}
 }