fix(util/if_then_else_eliminator.cc): Typo
fix(util/if_then_else_eliminator.cc): Typo

soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4