Skip to content

remove special treatment of "the result of evaluating"#497

Merged
bakkot merged 1 commit intomainfrom no-resultNov 23, 2022
+15-19

Commits

Commits on Nov 17, 2022