From 89810c50599b35cb84621cb5263d9b5dde52d4a1 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 24 Feb 2014 18:36:19 +0100
Subject: [PATCH] Collectors with paths should recurse beyond first match
---
src/main/scala/leon/purescala/TreeOps.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index c8d40d551..54a634bb1 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1101,8 +1101,8 @@ object TreeOps {
if(matcher.isDefinedAt(e)) {
val res = matcher(e)
results = results :+ (res, And(path))
- e
- } else super.rec(e, path)
+ }
+ super.rec(e, path)
}
def traverse(e: Expr) = {
--
GitLab