From 3e20b53d4917b7817f4bd8d225b13ee85149fb3c Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Tue, 25 Jan 2005 15:37:20 +0000
Subject: [PATCH] USER is not a nickname for COMMON-LISP-USER anymore, so
 remove that statement.

---
 docs/cmu-user/hierarchical-packages.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/cmu-user/hierarchical-packages.tex b/docs/cmu-user/hierarchical-packages.tex
index e722d169c..22d2eb5ab 100644
--- a/docs/cmu-user/hierarchical-packages.tex
+++ b/docs/cmu-user/hierarchical-packages.tex
@@ -103,8 +103,8 @@ All packages in the hierarchy must exist.
 \textbf{Warning about nicknames}: Unless you provide nicknames for
 your hierarchical packages (and we recommend against doing so because
 the number gets quite large), you can only use the names supplied. You
-cannot mix in nicknames or alternate names. \code{cl-user} (and
-\code{user}) are nicknames of the \code{common-lisp-user} package.
+cannot mix in nicknames or alternate names. \code{cl-user}
+is nickname of the \code{common-lisp-user} package.
 Consider the following:
 
 \begin{verbatim}
-- 
GitLab