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