Job 971

CakeML:798011963317aad27bc99bfa6878d7763149bb58
  Remove a TODO comment [Jul 30 07:15:39]
#671 (fp_basis)
Merging into:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte [Jul 28 19:21:00]
HOL:97dbc36bb2dc0ee2df2198032e6901f15f9dba85
  Start port of material about f.o. compactness from HOL Light [Jul 29 06:57:52]
Machine:brain09 4.14.127.1.amd64-smp

Jul 30 07:17:47 Claimed job
Jul 30 07:17:54 Building HOL
Jul 30 07:33:57 Starting developers
Jul 30 07:33:58 FAILED: developers
readme_gen                                                                                                                                                                                                       OK
Starting work on README.md
README.md                                                                                                                                                                                               FAILED! <1>
 Checking: /local/hbecker/regression/cakeml-971/semantics
 Checking: /local/hbecker/regression/cakeml-971/semantics/proofs
 Checking: /local/hbecker/regression/cakeml-971/semantics/ffi
 Checking: /local/hbecker/regression/cakeml-971/semantics/alt_semantics
 Checking: /local/hbecker/regression/cakeml-971/semantics/alt_semantics/proofs
 Checking: /local/hbecker/regression/cakeml-971/basis
 ERROR! readme_gen.sml failed due to:
 DoubleFFIScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /local/hbecker/regression/cakeml-971/basis