[Valgrind-developers] valgrind: r8862 - trunk/drd/docs

[<sv...@va...>]

Author: bart
Date: 2008-12-22 07:10:44 +0000 (Mon, 22 Dec 2008)
New Revision: 8862

Log:
Updated after merge of Helgrind from YARD branch to trunk.

Modified:
   trunk/drd/docs/drd-manual.xml


Modified: trunk/drd/docs/drd-manual.xml
===================================================================
--- trunk/drd/docs/drd-manual.xml	2008-12-22 01:00:15 UTC (rev 8861)
+++ trunk/drd/docs/drd-manual.xml	2008-12-22 07:10:44 UTC (rev 8862)
@@ -233,8 +233,8 @@
 </sect2>
 
 
-<sect2 id="drd-manual.drd-versus-helgrind" xreflabel="DRD-versus-Helgrind">
-<title>Data Race Detection by DRD versus Helgrind</title>
+<sect2 id="drd-manual.data-race-detection" xreflabel="data-race-detection">
+<title>Data Race Detection</title>
 
 <para>
 Synchronization operations impose an order on interthread memory
@@ -277,8 +277,7 @@
 </para>
 
 <para>
-DRD is based on the happens-before algorithm, while Helgrind uses a
-variant of the Eraser algorithm.
+DRD is based on the happens-before algorithm.
 </para>
 
 </sect2>