Removed other unnecessary exception
forgot to remove from mli file