Fix missing def

This commit is contained in:
Andrew Chen Wang 2022-12-27 20:39:57 -05:00 committed by GitHub
parent 219dc62743
commit 0156d09f50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23