whoops, tree_best_sofar (direct) had a bug

[lambda.git] / favicon.ico

diff --git a/favicon.ico b/favicon.ico
index 90b3272..0512e9d 100644 (file)
Binary files a/favicon.ico and b/favicon.ico differ