diff options
author | David Thompson <dthompson2@worcester.edu> | 2023-09-13 19:21:49 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2023-09-13 19:21:49 -0400 |
commit | 9ceb616f627b5d98bcb337bdc5f384108277a0ae (patch) | |
tree | 4cecdc66770d8aa4b6a0df71dd31b8770c3ae488 | |
parent | fa7b36c5ebc5e5b4331d20c13795ebbdd1d69ffa (diff) |
doc: Fix syntax error.
-rw-r--r-- | doc/chickadee.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/chickadee.texi b/doc/chickadee.texi index 2c22744..5a19fcd 100644 --- a/doc/chickadee.texi +++ b/doc/chickadee.texi @@ -289,8 +289,8 @@ so you will first need to switch to the @code{(chickadee-user)} module like so: @example -scheme@(guile-user)> ,module (chickadee-user) -scheme@(chickadee-user)> +scheme@@(guile-user)> ,module (chickadee-user) +scheme@@(chickadee-user)> @end example @item --language=@var{language} |