Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
qthequartermasterman committed May 9, 2024
1 parent d43cb93 commit 526bd70
Showing 1 changed file with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -236,9 +236,7 @@ def __init__(
self.best_observed_targets: "defaultdict[str, float]" = defaultdict(
lambda: NO_SCORE
)
self.best_examples_of_observed_targets: Dict[
str, ConjectureResult
] = {}
self.best_examples_of_observed_targets: Dict[str, ConjectureResult] = {}

# We keep the pareto front in the example database if we have one. This
# is only marginally useful at present, but speeds up local development
Expand Down

0 comments on commit 526bd70

Please sign in to comment.