diff options
| author | Alastair Reid | 2018-06-29 01:23:36 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-06-29 01:23:36 +0100 |
| commit | 34ccf330f5a58be476cae325883b2d207389f36a (patch) | |
| tree | be713e201a0e14388ec397eedf0da6daa06a10d4 /src/process_file.ml | |
| parent | ac7a3d0b508f9a055a85f2aa8842a5e7d9b2ff3f (diff) | |
RTS: tweak TIMEOUT message
Making the message more like archex messages simplifies tooling.
Plus, it is a better message.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions