From: Bart Van Assche <bvanassche@acm.org>
Date: Mon, 22 Dec 2008 07:10:44 +0000 (+0000)
Subject: Updated after merge of Helgrind from YARD branch to trunk.
X-Git-Tag: svn/VALGRIND_3_4_0~35
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e077fe8b1e90e00e10406901ead8128dc65cb82;p=thirdparty%2Fvalgrind.git

Updated after merge of Helgrind from YARD branch to trunk.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8862
---

diff --git a/drd/docs/drd-manual.xml b/drd/docs/drd-manual.xml
index 8e2766cad4..00b1f230f8 100644
--- a/drd/docs/drd-manual.xml
+++ b/drd/docs/drd-manual.xml
@@ -233,8 +233,8 @@ POSIX threads API.
 </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 @@ data race detection algorithm does not report any false positives.
 </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>