From 7d73d8585669a8a8d7e562bbc5a577162c118782 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Fri, 5 Feb 2010 01:20:40 -0600 Subject: [PATCH] Fix help lint for user-id --- basis/unix/users/users-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/unix/users/users-docs.factor b/basis/unix/users/users-docs.factor index c7867db2bf..e676f6fef6 100644 --- a/basis/unix/users/users-docs.factor +++ b/basis/unix/users/users-docs.factor @@ -62,7 +62,7 @@ HELP: user-name HELP: user-id { $values { "string" string } - { "id" integer } } + { "id/f" "an integer or f" } } { $description "Returns the user id associated with the user-name." } ; HELP: with-effective-user