Job 1190

CakeML:c5e2afe7bb9da8c13353ce61e5942e5bc72e4387
  Clean up comments [Feb 21 01:12:36]
#727 (ad-hoc-overloading)
Merging into:ed66b67fb3e2faf1ea517dff415c277cad73c8dc
  Merge pull request #714 from CakeML/nopacklib [Feb 16 18:25:28]
HOL:9d20add95c75b8c69157845df5d5e74f24633371
  Merge remote-tracking branch 'origin/interaction-guide-update' into d [Feb 19 09:30:56]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Feb 21 08:40:54 Claimed job
Feb 21 08:40:58 Reusing HOL
Feb 21 08:41:51 Starting developers
Feb 21 08:41:54 FAILED: developers
readme_gen                                      real:    0s  user:    0s     OK
Starting work on README.md
README.md                                       real:    2s  user:    1sFAIL<1>
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/set-theory
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/set-theory/zfc
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/syntax-lib
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/overloading
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/overloading/syntax
 Checking: /home/cur/sao/cakeml/regression/cakeml-1190/candle/overloading/semantics
 ERROR! readme_gen.sml failed due to:
 holExtensionScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cur/sao/cakeml/regression/cakeml-1190/candle/overloading/semantics