rm inutil file

2 jobs for merge-contract in 4 minutes and 18 seconds
Status Job ID Name Coverage
  Build
passed #252528121
coq:8.8

00:04:06

passed #252528122
coq:8.9

00:04:17