Job 933

CakeML:3307d9840e93caaed0969c033bf55b654361b12a
  Fix examples/array_searchProg for HOL's change to MEM_DROP thms [Jul 03 06:31:06]
HOL:797bb827a8cb2bdbf5d29ccf650dd3a24ab7a153
  merge somehow missed changes to these files [Jul 03 23:17:42]
Machine:brain09 4.14.127.1.amd64-smp

Jul 04 07:44:38 Claimed job
Jul 04 07:44:43 Building HOL
Jul 04 07:44:43 FAILED: building HOL