From 12c1e264dbb8ec979c17da362ff120a3fa87039c Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Mon, 9 Feb 2015 20:38:38 +0100
Subject: Ignore edits after the first correct version

---
 monkey/monkey.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'monkey/monkey.py')

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 \
-- 
cgit v1.2.1