Update ter_exception.ml