]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Small improvement to documentation.
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 2 Jan 2023 22:04:44 +0000 (23:04 +0100)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 2 Jan 2023 22:05:35 +0000 (23:05 +0100)
docs/xml/manual-core-adv.xml

index 1fa801edc1f8f2d40a072cd10026a03c22f020e7..6991a95e0695315224e10b016746d9368d71bb3a 100644 (file)
@@ -308,9 +308,9 @@ tool-specific macros).</para>
        xreflabel="&vg-gdbserver-label;">
 <title>Debugging your program using Valgrind gdbserver and GDB</title>
 
-<para>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.
+<para>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.
 </para>
 <para>
 This section describes how GDB can interact with the