Job 405

CakeML:392961c89db2505438d210e8fb3bc23d57d28b91
  regenerate files with Lem 2018-07-13 [Aug 06 10:31:27]
#509 (lem-updates)
Merging into:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check [Aug 06 19:03:49]
HOL:8a08db2774a674929be0790353c5d303f44984ff
  Report problems with simple definitions better [Aug 07 06:58:43]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Aug 07 14:35:10 Claimed job
Aug 07 14:35:19 Building HOL
Aug 07 14:38:57 FAILED: building HOL