From fda24ca7d580269d8e52da4de461da6c4349677b Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Fri, 10 Jan 2014 14:51:01 +0100
Subject: [PATCH] Fix deprecated API
---
src/main/scala/leon/purescala/TreeOps.scala | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index eb0ff3545..c3803718e 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1717,8 +1717,13 @@ object TreeOps {
* ========
*/
- @deprecated("Use postMap instead", "Leon 0.2.0")
+ @deprecated("Use postMap instead", "Leon 0.2.1")
def searchAndReplace(f: Expr => Option[Expr])(e: Expr) = postMap(f)(e)
+ @deprecated("Use postMap instead", "Leon 0.2.1")
+ def searchAndReplaceDFS(f: Expr => Option[Expr])(e: Expr) = postMap(f)(e)
+
+ @deprecated("Use exists instead", "Leon 0.2.1")
+ def contains(e: Expr, matcher: Expr => Boolean): Boolean = exists(matcher)(e)
}
--
GitLab