checksums-docs: fix heading in checksum-file

diff --git a/core/checksums/checksums-docs.factor b/core/checksums/checksums-docs.factor
index 6ea24b559b4b9ef4c94f1aea3551dbe28629da5e..fd9e5ed26a195ae8faa21280604d0341219efac1 100644 (file)
--- a/core/checksums/checksums-docs.factor
+++ b/core/checksums/checksums-docs.factor
@@ -36,7 +36,7 @@ HELP: checksum-lines
 
 HELP: checksum-file
 { $values { "path" "a pathname specifier" } { "checksum" "a checksum specifier" } { "value" byte-array } }
-{ $contract "Computes the checksum of all data in a file." }
+{ $description "Computes the checksum of all data in a file." }
 { $examples
     { $example
         "USING: checksums checksums.crc32 prettyprint ;"