From 56971834a79eff2decd16cdb23f16a2d4d37181a Mon Sep 17 00:00:00 2001 From: Philippe Waroquiers Date: Mon, 2 Jan 2023 23:04:44 +0100 Subject: [PATCH] Small improvement to documentation. --- docs/xml/manual-core-adv.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml index 1fa801edc1..6991a95e06 100644 --- a/docs/xml/manual-core-adv.xml +++ b/docs/xml/manual-core-adv.xml @@ -308,9 +308,9 @@ tool-specific macros). xreflabel="&vg-gdbserver-label;"> Debugging your program using Valgrind gdbserver and GDB -A program running under Valgrind is not executed directly by the -CPU. Instead it runs on a synthetic CPU provided by Valgrind. This is -why a debugger cannot debug your program when it runs on Valgrind. +A program running under Valgrind is not executed directly by the CPU. +Instead it runs on a synthetic CPU provided by Valgrind. This is why a debugger +cannot natively debug your program when it runs on Valgrind. This section describes how GDB can interact with the -- 2.47.2