small optimization
small optimization

Sierangho/opentuner,jansel/opentuner,ucb-sejits/opentuner,Sierangho/opentuner,phrb/opentuner,lazyparser/opentuner,phrb/opentuner,lazyparser/opentuner,lazyparser/opentuner,ucb-sejits/opentuner,Sierangho/opentuner,jbosboom/opentuner,lazyparser/opentuner,Sierangho/opentuner,jbosboom/opentuner,jansel/opentuner