From 61ae19d7e417bdfbaeb066087c14cf335e7ee33d Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 13 Apr 2020 11:16:18 -0700 Subject: [PATCH] sodium: fix help-lint warnings. --- extra/sodium/secure-memory/secure-memory-docs.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extra/sodium/secure-memory/secure-memory-docs.factor b/extra/sodium/secure-memory/secure-memory-docs.factor index 8e10455b7a..a6f802f625 100644 --- a/extra/sodium/secure-memory/secure-memory-docs.factor +++ b/extra/sodium/secure-memory/secure-memory-docs.factor @@ -53,14 +53,14 @@ HELP: allow-write-access HELP: with-read-access { $values { "secure-memory" secure-memory } - { "quot: ( secure-memory -- )" quotation } + { "quot" { $quotation ( ..a secure-memory -- ..b ) } } } { $description "Temporarily allow read-only access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ; HELP: with-write-access { $values { "secure-memory" secure-memory } - { "quot: ( secure-memory -- )" quotation } + { "quot" { $quotation ( ..a secure-memory -- ..b ) } } } { $description "Temporarily allow read and write access to the " { $snippet "secure-memory" } " for the duration of the " { $snippet "quot" } " call. When the quotation terminates, disable the access using " { $link allow-no-access } "." } ;