Fix a compilation error introduced with MR 323
Passed
Florian Uhlig
created pipeline for commit 49bb42d3
, finished
Related merge request !378 to merge fix_flesnet_installation
40 minutes 28 seconds, queued for 2 seconds