mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
fixed warning for rbtree
This commit is contained in:
@@ -235,8 +235,8 @@ namespace gpgpu_virt::util {
|
||||
}
|
||||
|
||||
// case 8
|
||||
if(lchild != nullptr && rchild == nullptr ||
|
||||
lchild == nullptr && rchild != nullptr)
|
||||
if((lchild != nullptr && rchild == nullptr) ||
|
||||
(lchild == nullptr && rchild != nullptr))
|
||||
{
|
||||
if(node != root)
|
||||
{
|
||||
|
||||
Reference in New Issue
Block a user