Update semant.c