CakeML Regression Test

Job 1731

CakeML:750cf68c1038b93250aad37e7ef6e9a1e8f89e00
  Tweak previous to acknowledge some vals [Jan 20 14:07:06]
#856 (printing)
Merging into:fe46ca072678de42c6fdfc32f40eafeb917dab02
  Fix proof broken by HOL changes making more rewrites automatic [Jan 20 00:31:55]
HOL:74f42248dbc44958d90a69acf52b5902e11e6683
  Provide more automatic rewrites about positivity of u.l.p constants [Jan 20 23:50:06]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jan 22 06:13:23 Claimed job
Jan 22 06:13:29 Building HOL
Jan 22 06:22:42 Starting developers
Jan 22 06:22:44 FAILED: developers
readme_gen                                                                        (0s)     OK
Starting work on README.md
README.md                                                                         (1s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/backend/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/backend/serialiser
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/backend/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/backend/reg_alloc
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/backend/reg_alloc/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-1731/compiler/printing
 ERROR! readme_gen.sml failed due to:
 addPrintValsScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cug/hk324/cml-regression/cakeml-1731/compiler/printing