diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
index 9b846ee56330d4d8662e6f82a0f9dd8379fb83fb..52b9a419ad860f6561f005ddbf238c97d4b1ca72 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
@@ -52,15 +52,10 @@ import org.eventb.core.ast.extension.IExpressionExtension;
 import de.be4.classicalb.core.parser.node.*;
 
 /**
- * The global SuppressWarnings annotation is used because the deprecated code is
- * used to check if this new implementation computes the same results as the old
- * code.
- * 
- * That should be removed after a while.
+ * This visitor on an Event-B AST generates an AST in ProB's format.
  * 
  * @author plagge
  */
-@SuppressWarnings("deprecation")
 public class TranslationVisitor implements ISimpleVisitor {
 	private static final String UNCOVERED_PREDICATE = "Uncovered Predicate";
 
@@ -615,6 +610,7 @@ public class TranslationVisitor implements ISimpleVisitor {
 		predicates.push(result);
 	}
 
+	@SuppressWarnings("deprecation")
 	@Override
 	public void visitUnaryExpression(final UnaryExpression expression) {
 		final PExpression exp = getExpression(expression.getChild());