summaryrefslogtreecommitdiffstatshomepage
path: root/docs/source/debugger
diff options
context:
space:
mode:
author Tom Cariello <Tomcariello@users.noreply.github.com>2023-09-27 09:51:32 -0400
committer GitHub <noreply@github.com>2023-09-27 15:51:32 +0200
commit1d1ff1b5f812b89f696ef1f93ccc693b2635d99a (patch)
treed0de99706163175485167a639757dee6f787afd9 /docs/source/debugger
parentd8f1b27939216dc6666e1a334f38204e17509ceb (diff)
Removed extra tick after gtime example in documentation (#11574)
Diffstat (limited to 'docs/source/debugger')
-rw-r--r--docs/source/debugger/execution.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/debugger/execution.rst b/docs/source/debugger/execution.rst
index cc4fc280cc1..c6547c37ba2 100644
--- a/docs/source/debugger/execution.rst
+++ b/docs/source/debugger/execution.rst
@@ -301,7 +301,7 @@ specified in milliseconds.
Example:
-``gtime #10000```
+``gtime #10000``
Resume execution for ten seconds of emulated time.
Back to :ref:`debugger-execution-list`