diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala
index 0d56b84ac940c58fb19e36ef02d6fe0175d8e613..b945d3eb2bc195a1c71b5860afb763660cae1272 100644
--- a/src/main/scala/leon/purescala/ExprOps.scala
+++ b/src/main/scala/leon/purescala/ExprOps.scala
@@ -1562,7 +1562,7 @@ object ExprOps {
      *
      * We then check that P1+P4 covers every T1, etc..
      *
-     * @EK: We ignore type parameters here, we might want to make sure it's
+     * TODO: We ignore type parameters here, we might want to make sure it's
      * valid. What's Leon's semantics w.r.t. erasure?
      */ 
     def areExaustive(pss: Seq[(TypeTree, Seq[Pattern])]): Boolean = pss.forall { case (tpe, ps) =>