From 37b31177da8b0dc4214b9750a45490bfbe1eb442 Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Mon, 24 Aug 2015 16:20:36 +0200
Subject: [PATCH] make example in doc actually useful
---
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 89770d2cd..2382529d9 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(b,c) -> d, b -> e, d -> f
+ * Add(a, Minus(b, c)) with replacements: Minus(e,c) -> d, b -> e, d -> f
* }}}
* will yield:
* {{{
--
GitLab