fixed compilation with gcc 7.1

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

00:01:14

failed job_make_gcc #2317

00:00:54

 
  Test Gcc
passed job_test_gcc #2318

00:01:59

92.453%
 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #2319

00:01:08

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #2320

00:00:15

 
  Build Python
passed job_build_python #2321

00:01:35

 
  Build Clang
passed job_make_clang #2322

00:01:55

 
  Test Clang
passed job_test_clang #2323

00:00:15