From 2e30c7f6cb6efe87be6ed2bde25627103329314c Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 17 Sep 2021 12:01:14 +0200 Subject: [PATCH] bugfix --- src/runtime/c/pgf/namespace.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/runtime/c/pgf/namespace.h b/src/runtime/c/pgf/namespace.h index af1dc1f1c..fa92dd830 100644 --- a/src/runtime/c/pgf/namespace.h +++ b/src/runtime/c/pgf/namespace.h @@ -359,8 +359,10 @@ Namespace namespace_insert(Namespace map, ref value) namespace_release(right); return node; } else { - map->left->ref_count++; - map->right->ref_count++; + if (map->left != 0) + map->left->ref_count++; + if (map->right != 0) + map->right->ref_count++; return Node::new_node(value,map->left,map->right); } }