diff options
| -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 |