Skip to content
This repository has been archived by the owner on Nov 27, 2023. It is now read-only.

[spec] remove unused step #56

Merged
merged 1 commit into from May 18, 2023
Merged

[spec] remove unused step #56

merged 1 commit into from May 18, 2023

Conversation

ljharb
Copy link
Member

@ljharb ljharb commented May 18, 2023

The alternative is to keep it, and pass Pk instead of F(k) to the callback.

@ljharb ljharb requested a review from jridgewell May 18, 2023 23:12
@bakkot
Copy link
Contributor

bakkot commented May 18, 2023

We want to pass the numeric index, not the string, so removing SGTM.

@jridgewell jridgewell merged commit f55a933 into main May 18, 2023
1 check passed
@jridgewell jridgewell deleted the remove-step branch May 18, 2023 23:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants