roc format

This commit is contained in:
Richard Feldman 2024-01-28 16:35:57 -05:00
parent b21e75e359
commit 3be96e52d8
No known key found for this signature in database
GPG Key ID: F1F21AA5B1D9E43B

View File

@ -1185,7 +1185,6 @@ expect
|> len
|> Bool.isEq 0
# All BadKey's hash to the same location.
# This is needed to test some robinhood logic.
BadKey := U64 implements [