ref: 54040f94b910fe304ece6d04cb6e6c02779b14a0
parent: f92b5842bfd520155c023db03bd7f55037e56ba3
parent: 44627a967717faa4b714a74f50ca24bcabda160a
author: Jingning Han <jingning@google.com>
date: Mon Dec 9 11:12:39 EST 2013
Merge "Clean-ups in diamond_search_sad"