Update source/lib-intro.tex

Co-authored-by: Johel Ernesto Guerrero Peña <[email protected]>

Author: jensmaurer

source/lib-intro.tex

@@ -1935,7 +1935,7 @@
   \tcode{n} is a value such that
   $\tcode{req} \leq \tcode{n} \leq \tcode{ret.count}$.
   \item
-  Otherwise, \tcode{p} is a value obtained from \tcode{allocate}.
+  Otherwise, \tcode{p} is a pointer value obtained from \tcode{allocate}.
   \tcode{n} equals the value passed as the first argument
   to the invocation of \tcode{allocate} which returned \tcode{p}.
   \end{itemize}