UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-18 21:30:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[poincare/tree_handle] Assert B is not an ancestor of A in replaceWithInPlace(A, B)

Browse Source
This commit is contained in:
Ruben Dashyan
2020-02-06 14:15:14 +01:00
committed by Léa Saviot
parent fffcadf384
commit 7d72d5abd7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
poincare/src/tree_handle.cpp
View File

@@ -62,6 +62,7 @@ void TreeHandle::replaceChildInPlace(TreeHandle oldChild, TreeHandle newChild) {
if (oldChild == newChild) {
return;
}
assert(!oldChild.hasAncestor(newChild, true));
assert(!isUninitialized());