diff options
author | Jan Hrček <honza.hrk@gmail.com> | 2022-09-03 12:37:06 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-06 15:36:58 -0400 |
commit | d4f908f7dff34c650fd3cf26dbba1d5b66c13dbc (patch) | |
tree | b9b023e8ab29b8dcb48b4e20dc8c422c0ccbf832 /docs/users_guide | |
parent | f37b621fdeff6922c6ad9533a02ccc26c50f9b2e (diff) | |
download | haskell-d4f908f7dff34c650fd3cf26dbba1d5b66c13dbc.tar.gz |
Fix :add docs in user guide
Diffstat (limited to 'docs/users_guide')
-rw-r--r-- | docs/users_guide/ghci.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index 4a9f75e9bf..76cd2dd2d0 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2183,7 +2183,7 @@ commonly used commands. Abandons the current evaluation (only available when stopped at a breakpoint). -.. ghci-cmd:: :add;[*] ⟨module⟩ +.. ghci-cmd:: :add; [*]⟨module⟩ Add ⟨module⟩(s) to the current target set, and perform a reload. Normally pre-compiled code for the module will be loaded if |