Update semant.cc

Oi