From 1b7af281e74c859e2ab931c79516a04af0532bbc Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 3 Mar 2015 10:36:57 +0100 Subject: Oops, a line got lost --- monkey/monkey.py | 1 + 1 file changed, 1 insertion(+) (limited to 'monkey') diff --git a/monkey/monkey.py b/monkey/monkey.py index a7beb6e..8cf2163 100755 --- a/monkey/monkey.py +++ b/monkey/monkey.py @@ -220,6 +220,7 @@ def fix(name, code, edits, aux_code='', timeout=30, debug=False): # Each program gets a task with the sequence of edits that generated it and # the associated cost. First candidate with cost 1 is the initial program. + program = tuple(annotate(code)) todo.push((program, (), 1.0), -1.0) n_tested = 0 -- cgit v1.2.1