Job 2126

CakeML:ae8dcdf8a7a341461e036d7d8b5a24bdb8e373fc
  Added extra Pancake function declaration example. [May 15 05:53:41]
#954 (pan_parser_funs)
Merging into:90e158ecb61cc3974c249811f350943545a8b2c1
  Merge pull request #950 from CakeML/rev_list [May 13 10:18:57]
HOL:63a4c9c66796e8d93b355a237575ca63c550a059
  Replace sprintf with snprintf to quiet some deprecation warnings [May 11 01:37:07]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

May 17 18:20:18 Claimed job
May 17 18:20:20 Reusing HOL
May 17 18:21:00 Starting developers
May 17 18:21:04 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (2s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2126/pancake/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-2126/pancake/proofs/time
 Checking: /home/cug/hk324/cml-regression/cakeml-2126/pancake/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-2126/pancake/parser
 ERROR! readme_gen.sml failed due to:
 panConcreteExamplesScript.sml: trailing white-space is not allowed (adjust your editor setting)
 panPEGScript.sml: trailing white-space is not allowed (adjust your editor setting)
 panPtreeConversionScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2126/pancake/parser