fix compilation error in maybe

3 jobs for develop in 13 minutes and 50 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build-clang #7568

00:03:14

passed build-gcc #7567

00:03:46

passed build-scanbuild #7569

00:06:49