Make compile with Coq 8.5pl1.

2 jobs for master
Status Name Job ID Coverage
  Test
passed buildjob #347
coq

00:03:18

failed buildjob #327
coq

00:03:02