fix minor warning

14 jobs for master in 17 minutes and 47 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #89781
1.10.0-coq-8.11

00:14:06

passed #89782
1.11.0-coq-8.11

00:06:04

passed #89783
1.11.0-coq-8.12

00:05:02

passed #89784
build-for-process

00:02:20

passed #89785
build-for-process-classic

00:03:46

passed #89788
coq-8.12

00:05:24

passed #89789
coq-dev

00:05:18

passed #89786
proof-length

00:00:07

passed #89787
spell-check

00:00:14

 
  Process
passed #89792
doc

00:00:19

passed #89793
doc-classic

00:01:21

passed #89794
proof-state

00:04:48

passed #89790
validate

00:02:11

passed #89791
validate-classic

00:01:10