Enable edges log when MAX_TIME

diff --git a/base/main.cc b/base/main.cc
index efb3844bbc792b348745ee4c12f27a890b3e31ec..a4550fc5c0d5d4a69280e12ba4399c1d2a5f99d2 100644 (file)
--- a/base/main.cc
+++ b/base/main.cc
@@ -131,6 +131,9 @@ int main()
                 while (p.opt_path())
                         p.tlog(p.findt());
         }
+#if JSONLOGEDGES > 0
+        p.logr(p.root());
+#endif
 #else // NOT USE_INTERRUPT
         i = 0;
         while (!p.goal_found() && i < 20) {