Overview

Job 933

CakeML:3307d9840e93caaed0969c033bf55b654361b12a
  Fix examples/array_searchProg for HOL's change to MEM_DROP thms
HOL:797bb827a8cb2bdbf5d29ccf650dd3a24ab7a153
  merge somehow missed changes to these files
Machine:brain09 4.14.127.1.amd64-smp

 Claimed job
 Building HOL
 FAILED: building HOL