Commit 8bbf436f authored by Christian Fuß's avatar Christian Fuß

small fix for compilation error

parent d4f356a9
Pipeline #150761 failed with stages