From 1f14ebf5572a827cfaa3d129cd6c5ddf86f92cae Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 28 Apr 2015 20:01:26 +0200
Subject: [PATCH] Remove scaladoc warning
---
src/main/scala/leon/purescala/ExprOps.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala
index 0d56b84ac..b945d3eb2 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) =>
--
GitLab