gdb_monitor: fix build error with gcc 12

Fixes #4841
This commit is contained in:
Christian Prochaska 2023-05-05 07:47:13 +02:00 committed by Christian Helmuth
parent b2bc5912c8
commit 0c70e9e8df

View File

@ -42,7 +42,7 @@ namespace Gdb_monitor {
public:
class Region : public Avl_node<Region>
class Region : public Genode::Avl_node<Region>
{
private:
void *_start;