Job 272

CakeML:a45bac16550e76958579964d01fbdd145438731e
  Minor fixes to bootstrap translation [Mar 29 13:09:19]
#478 (trans-ind)
Merging into:321cbf4ab8f49f1d20ae3252e62bccb48e0e2f1e
  Fix for new HOL pretty-printing infrastructure [Mar 29 03:26:25]
HOL:d35b02e22c3460109d55f5465673d0735657eb8b
  Restore ppstream_funs as nullary type operator in term_pp_types [Mar 29 03:10:07]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Mar 29 13:20:42 Claimed job
Mar 29 13:20:47 Building HOL
Mar 29 13:20:52 FAILED: building HOL