diff options
| -rwxr-xr-x | tools/coverage.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/coverage.py b/tools/coverage.py index c4250fa..6c4345c 100755 --- a/tools/coverage.py +++ b/tools/coverage.py @@ -244,8 +244,6 @@ class Element(): return self.nbUse > 0 def operationOnChild(self, path, operation): - # Stop if path is not consume yet but there is no child - assert(self.children or not path) if path: return self._operationPropagate(path, operation) |