diff --git a/docs/cmu-user/cmu-user.tex b/docs/cmu-user/cmu-user.tex index 7ee0a53c78540977b70ed5364ad6a214e0ae798c..bd8eb626357e0d99d3a2741d460b0773ea99556d 100644 --- a/docs/cmu-user/cmu-user.tex +++ b/docs/cmu-user/cmu-user.tex @@ -11605,7 +11605,7 @@ when the C function was entered, there is no telling what will happen. The type of \var{alien-function} must be \code{(alien (function ...))} or \code{(alien (* (function ...)))}, \xlref{alien-function-types}. The function type is used to - determine how to call the function (as through it was declared with + determine how to call the function (as though it was declared with a prototype.) The type need not be known at compile time, but only known-type calls are efficiently compiled. Limitations: \begin{itemize}