diff --git a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
index 7d6f43b605f36c510ca26798ed91537053c01a6b..5fbae3c61050575a8854ba9418f5ea252ca0c710 100644
--- a/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
+++ b/de.prob.symbolic/src/de/prob/symbolic/SymbolicAttribute.java
@@ -9,23 +9,19 @@ package de.prob.symbolic;
 import org.eclipse.core.runtime.IProgressMonitor;
 import org.eventb.core.IVariable;
 import org.eventb.core.basis.Constant;
-import org.eventb.internal.ui.eventbeditor.manipulation.AbstractBooleanManipulation;
+import org.eventb.ui.manipulation.IAttributeManipulation;
 import org.rodinp.core.IAttributeType;
 import org.rodinp.core.IInternalElement;
 import org.rodinp.core.IRodinElement;
 import org.rodinp.core.RodinCore;
 import org.rodinp.core.RodinDBException;
 
-public class SymbolicAttribute extends AbstractBooleanManipulation {
+public class SymbolicAttribute implements IAttributeManipulation {
 	private static final String SYMBOLIC = "symbolic";
 	private static final String CONCRETE = "not symbolic";
 	public static IAttributeType.Boolean ATTRIBUTE = RodinCore
 			.getBooleanAttrType(Activator.PLUGIN_ID + ".symbolicAttribute");
 
-	public SymbolicAttribute() {
-		super(SYMBOLIC, CONCRETE);
-	}
-
 	private IInternalElement asInternalElement(IRodinElement element) {
 		if (element instanceof IVariable) {
 			return (IVariable) element;
@@ -74,4 +70,10 @@ public class SymbolicAttribute extends AbstractBooleanManipulation {
 		asInternalElement(element).setAttributeValue(ATTRIBUTE, isSymbolic,
 				monitor);
 	}
+
+	@Override
+	public String[] getPossibleValues(IRodinElement element,
+			IProgressMonitor monitor) {
+		return new String[] { SYMBOLIC, CONCRETE };
+	}
 }