From 7ee6ab20f18df62ed2adc07e027c0a14dbfb507f Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Thu, 8 Jan 2015 16:25:45 +0100
Subject: [PATCH] Correction in forwardMap
---
src/main/scala/leon/synthesis/Rules.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index 2ac45f4be..10b8e6ef5 100644
--- a/src/main/scala/leon/synthesis/Rules.scala
+++ b/src/main/scala/leon/synthesis/Rules.scala
@@ -146,7 +146,7 @@ trait RuleDSL {
def forwardMap(f : Expr => Expr) : List[Solution] => Option[Solution] = {
_.headOption map { s =>
- Solution(f(s.pre), s.defs, f(s.term))
+ Solution(f(s.pre), s.defs, f(s.term), s.isTrusted)
}
}
--
GitLab