summaryrefslogtreecommitdiffstatshomepage
path: root/docs/source
diff options
context:
space:
mode:
Diffstat (limited to 'docs/source')
-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`