CakeML:b378040fc02c949ecd0a24ced798201a572514a4 Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48] HOL:86a75cd8d1485d21d884aaa99aef55e9299ffb62 [termination] [Jun 14 17:10:27] Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux Jun 17 05:23:01 Claimed job