let add_sem_error err =
  list_of_errors := !list_of_errors@[err]