mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-28 23:23:56 +00:00
ddcc1cf6aa
This patch fixes a problem that unsurfaced by the commit "menu_view: API transition", which changed the class layout of the 'Png_image' so that the 'Read_struct' pointer is no longer equal to the 'Png_image' pointer.