Merge "Clean-ups in diamond_search_sad"
authorJingning Han <jingning@google.com>
Tue, 10 Dec 2013 00:12:39 +0000 (16:12 -0800)
committerGerrit Code Review <gerrit@gerrit.golo.chromium.org>
Tue, 10 Dec 2013 00:12:39 +0000 (16:12 -0800)

Trivial merge