diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
| commit | 5059c081ac624ede925d5256885509ddd17181c6 (patch) | |
| tree | 0457d135e5193126bf73466bfaae09df94ab8a7d /lib/file_hash.nom | |
| parent | ec69ee6f62016a2edcc13e3183cbe4cadd75717f (diff) | |
Auto-upgraded code.
Diffstat (limited to 'lib/file_hash.nom')
| -rw-r--r-- | lib/file_hash.nom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/file_hash.nom b/lib/file_hash.nom index a45b684..67b4569 100644 --- a/lib/file_hash.nom +++ b/lib/file_hash.nom @@ -25,7 +25,7 @@ test: ) != "inf" assume ((hash "\000") != (hash "\000\000\000\000\000")) or barf - .."Incorrect hashing of null strings" + "Incorrect hashing of null strings" if $use_sha1: assume ((hash "hello world") == "Kq5sNclPz7QV2+lfQIuc6R7oRu0=") |