Optimize when goal not found

diff --git a/base/main.cc b/base/main.cc
index 42975aee82df71f54a8cf35a92967db7c1e14303..ad73d6bbcf37780e55f2d0bfa96c2f7618efbaf1 100644 (file)
--- a/base/main.cc
+++ b/base/main.cc
@@ -113,6 +113,8 @@ int main()
 #endif
                 tr = p.findt(nn);
                 p.tlog(tr);
+                while (p.opt_path())
+                        p.tlog(p.findt(nn));
         }
 #if JSONLOGEDGES > 0
         p.logr(p.root());