mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
The Scout::Spacer constructor requires two arguments. The initialization of the type in Launchpad_window declaration does not specify them. The variable is however initialized a second time in class constructor. This is most likely why GCC accepts this code. Clang on the other hand complains about it. Fix this by properly initializing both _spacer and _docview only once at declaration time. Issue #3985