diff --git a/src/main/scala/leon/synthesis/graph/Search.scala b/src/main/scala/leon/synthesis/graph/Search.scala
index 03614a19b5d1688647f068e7b5de9de352d54a54..02346a51e358d668a0d15a2a8478feff8c8b3b59 100644
--- a/src/main/scala/leon/synthesis/graph/Search.scala
+++ b/src/main/scala/leon/synthesis/graph/Search.scala
@@ -274,9 +274,9 @@ class ManualSearch(ctx: LeonContext, problem: Problem, costModel: CostModel) ext
                     currentPath = currentPath.tail
 
                   case None =>
-                    error("Unknown path: "+path)
-                    res = Some(None)
-                    return None
+                    warning("Unknown path: "+ (path mkString "/"))
+                    //res = Some(None)
+                    return findNodeToExpandFrom(from) 
                 }
               }