diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index 2ac45f4be1b1198d4cda98d3d75a173a6df9b4ae..10b8e6ef51f781a6767c41c4db4d1e0693c4ea24 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)
     }
   }