Fix clang compilation error
Passed
Florian Uhlig
created pipeline for commit 69e77dce
, finished
Related merge request !1470 to merge fix_clang_error
49 minutes 53 seconds, queued for 1 seconds