diff options
Diffstat (limited to 'docs/ghci/ghci.tex')
| -rw-r--r-- | docs/ghci/ghci.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ghci/ghci.tex b/docs/ghci/ghci.tex index e4fbb0b771..e102cdadd9 100644 --- a/docs/ghci/ghci.tex +++ b/docs/ghci/ghci.tex @@ -122,7 +122,7 @@ visibility. Subsequent sections elaborate who can see what. is @compile@'s private cache of information about package modules. \item {\bf Persistent Linker State (PLS)} (owner: @link@) is - @link@'s private information concerning the the current + @link@'s private information concerning the current state of the (in-memory) executable image. \end{itemize} |