diff options
| author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 16:36:15 +0200 |
|---|---|---|
| committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2016-09-27 16:36:15 +0200 |
| commit | 3f7538d784b24aa5305a228491efa4b68537a80f (patch) | |
| tree | abbe0968308d48857570f74718d839f003fc402b /monkey/__init__.py | |
| parent | 2013b5b59f2400ac3d4bf218a7ec5b1174f812d7 (diff) | |
| parent | 28116fd8278bb3b8832f4f5b22c68bd7978c8efd (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'monkey/__init__.py')
| -rw-r--r-- | monkey/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/monkey/__init__.py b/monkey/__init__.py index 5408061..42e0691 100644 --- a/monkey/__init__.py +++ b/monkey/__init__.py @@ -147,7 +147,7 @@ def fix_hints(code, steps): for h1, h2 in product(hints, hints): if h1 is h2 or h2['start'] <= h1['start']: continue - if h1['id'] == h2['id'] == 'monkey_insert' and h2['start'] - h1['start'] < 3: + if h1['id'] == h2['id'] == 'monkey_insert' and h2['start'] - h1['start'] < 5: hints.remove(h1) hints.remove(h2) hints.append({'id': 'monkey_change', 'start': h1['start'], 'end': h2['end']-1}) |