From 8e077fe8b1e90e00e10406901ead8128dc65cb82 Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Mon, 22 Dec 2008 07:10:44 +0000
Subject: [PATCH] Updated after merge of Helgrind from YARD branch to trunk.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8862
---
 drd/docs/drd-manual.xml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

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>
-- 
2.47.3