update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / drd / drd_clientobj.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.h
index dd1a541aac2a6919e773747d22ad6167b4943a0f..86e58d6d56b44aec5845c4f9053ee9ee867b881e 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.h
@@ -1,8 +1,8 @@
-/* -*- mode: C; c-basic-offset: 3; -*- */
+/* -*- mode: C; c-basic-offset: 3; indent-tabs-mode: nil; -*- */
 /*
   This file is part of drd, a thread error detector.
 
-  Copyright (C) 2006-2010 Bart Van Assche <bart.vanassche@gmail.com>.
+  Copyright (C) 2006-2011 Bart Van Assche <bvanassche@acm.org>.
 
   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
@@ -95,7 +95,6 @@ struct hb_info
    void        (*delete_thread)(union drd_clientobj*, DrdThreadId);
    ExeContext* first_observed_at;
    OSet*       oset;  // Per-thread order annotation information.
-   Bool        done;  // Whether happens-done has already been invoked.
 };
 
 struct semaphore_info