diff options
Diffstat (limited to 'src/expr/node_value.h')
| -rw-r--r-- | src/expr/node_value.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 79ce8cb4f..dd5cf9a7f 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -494,7 +494,9 @@ inline NodeValue* NodeValue::getChild(int i) const { ++i; } - Assert(i >= 0 && unsigned(i) < d_nchildren); + if (!(i >= 0 && unsigned(i) < d_nchildren)) { + Assert(i >= 0 && unsigned(i) < d_nchildren); + } return d_children[i]; } |