Job 1013

CakeML:be67e050146cc04c9180d4ed6e6ff9032f8a94e3
  Fix compilerProofScript [Aug 21 19:06:13]
#680 (sexpprint)
Merging into:b8905595f576715a674870c6acfe2977561a7a36
  Merge pull request #677 from CakeML/clos-install [Aug 21 17:07:21]
HOL:e82f681da267a0f96134a92b4fea9d962cae182e
  Remove redundant theorem from temporal_deep example's set_lemmata [Aug 19 02:05:33]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Aug 22 11:10:13 Claimed job
Aug 22 11:11:00 Building HOL
Aug 22 11:19:08 Starting developers
Aug 22 11:19:09 FAILED: developers
readme_gen                                                                                                 OK
Starting work on README.md
README.md                                                                                         FAILED! <1>
 Checking: /home/myreen/regression/cakeml-1013/developers/bin
 Checking: /home/myreen/regression/cakeml-1013/compiler
 Checking: /home/myreen/regression/cakeml-1013/compiler/inference
 Checking: /home/myreen/regression/cakeml-1013/compiler/inference/proofs
 Checking: /home/myreen/regression/cakeml-1013/compiler/inference/tests
 Checking: /home/myreen/regression/cakeml-1013/compiler/proofs
 ERROR! readme_gen.sml failed due to:
 compilerProofScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/myreen/regression/cakeml-1013/compiler/proofs