fix build after merging

5 jobs for master in 11 minutes and 3 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #6307
fp-timing

00:03:48

passed build-coq.8.7.0 #6306
fp-timing

00:03:37

 
  Deploy
passed opam #6308

00:00:13

passed reverse-deps #6309

00:00:14

 
  Build More
passed build-coq.8.7.dev #6310
fp-timing

00:06:45