fixed compilation with gcc 7.1

8 jobs for development in 8 minutes and 24 seconds (queued for 55 seconds)
Status Job ID Name Coverage
  Build Gcc
passed #2543
job_make_gcc

00:01:14

failed #2317
job_make_gcc

00:00:54

 
  Test Gcc
passed #2318
job_test_gcc

00:01:59

92.453%
 
  Build Gcc Nocheck
passed #2319
job_make_gcc_nocheck

00:01:08

 
  Test Gcc Nocheck
passed #2320
job_test_gcc_nocheck

00:00:15

 
  Build Python
passed #2321
job_build_python

00:01:35

 
  Build Clang
passed #2322
job_make_clang

00:01:55

 
  Test Clang
passed #2323
job_test_clang

00:00:15