From 63ff8d3eea4385da6c8686cb765908bd5fbb6824 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Mon, 24 Aug 2015 16:26:19 +0200
Subject: [PATCH] fix postMap example
---
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 2382529d9..f2ff6ea1b 100644
--- a/src/main/scala/leon/purescala/ExprOps.scala
+++ b/src/main/scala/leon/purescala/ExprOps.scala
@@ -171,7 +171,7 @@ object ExprOps {
* - If applyRec is false (default), will only substitute once on each level.
* e.g.
* {{{
- * Add(a, Minus(b, c)) with replacements: Minus(e,c) -> d, b -> e, d -> f
+ * Add(a, Minus(b, c)) with replacements: Minus(b,c) -> z, Minus(e,c) -> d, b -> e
* }}}
* will yield:
* {{{
--
GitLab