Delete semant.cc