Job 2138

CakeML:e7813d9bdcb11d626cd27b973330da551f89a102
  check derived dominate associated constraints [Apr 03 10:14:22]
#955 (vipr)
Merging into:5e0612a6f93d34e570019c2a768cbd4736402abe
  Fix for change to finite_mapSyntax in HOL [May 25 02:29:21]
HOL:b714d6b6c7a82ffd8f7fc64afb34d214f058a0bf
  Update building and testing of Manual/Tools/polyscripter [May 24 05:50:35]
Machine:pavlova

May 26 07:38:55 Claimed job
May 26 07:38:58 Reusing HOL
May 26 07:39:17 FAILED: building HOL