Ensure some spaces after \sharpf.

This commit is contained in:
sperber 2003-01-21 10:41:39 +00:00
parent 4a1c23a9bb
commit a6c56aa458
1 changed files with 4 additions and 4 deletions

View File

@ -296,14 +296,14 @@ shutdown/sends+receives\end{code}
\section{Performing input and output on sockets}
\defun {receive-message} {socket length [flags]} {[string-or-\sharpf socket-address]}
\defun {receive-message} {socket length [flags]} {[string-or-\sharpf{} socket-address]}
\dfnix {receive-message!} {socket string [start] [end] [flags]}
{[count-or-\sharpf socket-address]}{procedure}
{[count-or-\sharpf{} socket-address]}{procedure}
{receive-message"!@\texttt{receive-message"!}}
\defunx {receive-message/partial} {socket length [flags]}
{[string-or-\sharpf socket-address]}
{[string-or-\sharpf{} socket-address]}
\dfnix {receive-message!/partial} {socket string [start] [end] [flags]}
{[count-or-\sharpf socket-address]}{procedure}
{[count-or-\sharpf{} socket-address]}{procedure}
{receive-message"!/partial@\texttt{receive-message"!/partial}}
\defun {send-message} {socket string [start] [end] [flags] [socket-address]}
\undefined