summaryrefslogtreecommitdiff
path: root/monkey/monkey.py
diff options
context:
space:
mode:
Diffstat (limited to 'monkey/monkey.py')
-rwxr-xr-xmonkey/monkey.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/monkey/monkey.py b/monkey/monkey.py
index 0e622bf..0a934bc 100755
--- a/monkey/monkey.py
+++ b/monkey/monkey.py
@@ -109,6 +109,7 @@ def fix(name, code, edits, program_lines, aux_code='', timeout=30, debug=False):
new_steps = []
i = 0
while i < len(steps):
+ # Check for successive edits on the same line.
if i < len(steps)-1 and \
steps[i][0] in ('add_rule', 'add_subgoal', 'change_line') and \
steps[i+1][0] == 'change_line' and \