Delete /coq/94845

File onlyPass