Skip to content

Commit

Permalink
remove hardcoded exception for bbb names
Browse files Browse the repository at this point in the history
  • Loading branch information
bakkot committed Jul 7, 2022
1 parent 4bca649 commit d5c2fa5
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/Spec.ts
Original file line number Diff line number Diff line change
Expand Up @@ -657,9 +657,6 @@ export default class Spec {
'thisBooleanValue',
'toUppercase',
'toLowercase',
'ℝ',
'𝔽',
'ℤ',
].includes(calleeName)
) {
// TODO make the spec not do this
Expand Down

0 comments on commit d5c2fa5

Please sign in to comment.