From c747c7dd7aafc4f5948ad6b8d560b309bb7a075d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lomig=20Me=CC=81gard?= <lomig.megard@epfl.ch>
Date: Tue, 11 Mar 2014 17:24:20 +0100
Subject: [PATCH] Fixed postTraversal in TreeOps.
---
src/main/scala/leon/purescala/TreeOps.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index 86f33d7b2..124b163d9 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -93,7 +93,7 @@ object TreeOps {
* f(a), f(b), f(c), f(Minus(b, c)), f(Add(a, Minus(b, c)))
*/
def postTraversal(f: Expr => Unit)(e: Expr): Unit = {
- val rec = preTraversal(f) _
+ val rec = postTraversal(f) _
e match {
case t: Terminal =>
--
GitLab