diff options
-rw-r--r-- | monkey/edits.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/monkey/edits.py b/monkey/edits.py index dfdf164..1743864 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -31,6 +31,8 @@ def get_edits_from_trace(trace, test, id): def add_edit(path, start, end, tree): if start == end: return + if len(end) > 2*len(start): + return edits[(path, start, end)].add(id) # Parse trace actions and ensure there is a separate action for each |