Skip to content

Commit

Permalink
Simplify example filter.
Browse files Browse the repository at this point in the history
  • Loading branch information
jendrikseipp committed Feb 5, 2021
1 parent d6b1d1e commit e6f56dc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/downward/project.py
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,7 @@ def fetch_algorithm(exp, expname, algo, *, new_algo=None):
def rename_and_filter(run):
if run["algorithm"] == algo:
run["algorithm"] = new_algo
run["id"][0] = run["id"][0].replace(algo, new_algo)
run["id"][0] = new_algo
return run
return False

Expand Down

0 comments on commit e6f56dc

Please sign in to comment.