diff --git a/ptests/ptests.ml b/ptests/ptests.ml index 27af94c1569cd497dff75177dfafbf4b72c5b26d..aa521c40b1790c1ce291811288a016fcc26ae1cc 100644 --- a/ptests/ptests.ml +++ b/ptests/ptests.ml @@ -163,7 +163,7 @@ let unlink ?(silent = true) file = Unix.unlink file with | Unix_error _ when silent -> () - | Unix_error (ENOENT,_,_) -> () (* Ignore "Not such file or directory" *) + | Unix_error (ENOENT,_,_) -> () (* Ignore "No such file or directory" *) | Unix_error _ as e -> output_unix_error e let is_file_empty_or_nonexisting filename =