update

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

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.c b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.c
index 780b793c9e5c9a5aec555562b0f0597ec2e85750..7dc3d15fbef2e9321bffaa48def3bb32217719ba 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.c
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/drd/drd_clientobj.c
@@ -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
@@ -107,7 +107,7 @@ Bool DRD_(clientobj_present)(const Addr a1, const Addr a2)
 {
    DrdClientobj *p;
 
-   tl_assert(a1 < a2);
+   tl_assert(a1 <= a2);
    VG_(OSetGen_ResetIter)(s_clientobj_set);
    for ( ; (p = VG_(OSetGen_Next)(s_clientobj_set)) != 0; )
    {