Use one format for all messages passed to JS side

1 files changed, 0 insertions, 20 deletions

diff --git a/monkey/monkey.py b/monkey/monkey.py
index 3de0a41..f5b69a9 100755
--- a/monkey/monkey.py
+++ b/monkey/monkey.py
@@ -176,23 +176,3 @@ def fix(name, code, edits, aux_code='', timeout=30, debug=False):
         total_time = time.monotonic() - start_time
 
     return '', [], total_time, n_tested
-
-# Return a list of character ranges modified by the sequence [edits].
-def fix_ranges(edits):
-    marks = []
-    for step_type, line, (before, after) in edits:
-        if step_type == 'change_line':
-            marks.append({ 'start': before[0].pos,
-                           'end': before[-1].pos+len(before[-1].val),
-                           'msg': 'Change this line.' })
-        elif step_type == 'remove_line':
-            marks.append({ 'start': before[0].pos,
-                           'end': before[-1].pos+len(before[-1].val),
-                           'msg': 'Remove this line.' })
-        elif step_type == 'add_subgoal':
-            marks.append({ 'msg': 'Add a new subgoal',
-                           'line': line });
-        elif step_type == 'add_rule':
-            marks.append({ 'msg': 'Add a new rule',
-                           'line': line });
-    return marks