Job 274

CakeML:3ecee0cb225cb4c7adec7689fb63a6bea77dee92
  Tweak error message [Mar 29 13:29:36]
#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:30:46 Claimed job
Mar 29 13:30:50 Building HOL
Mar 29 13:30:55 FAILED: building HOL