From: Ben Pfaff <blp@gnu.org>
Date: Wed, 10 Jan 2007 03:43:31 +0000 (+0000)
Subject: Checker is really obsolete now.
X-Git-Tag: sav-api~1598
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c898fab12a050123972d9021b1ccb93cc2df0456;p=pspp

Checker is really obsolete now.
---

diff --git a/src/libpspp/pool.c b/src/libpspp/pool.c
index 2a6a6b5401..141d8ab403 100644
--- a/src/libpspp/pool.c
+++ b/src/libpspp/pool.c
@@ -100,8 +100,8 @@ union align
 
 /* DISCRETE_BLOCKS may be declared as nonzero to prevent
    suballocation of blocks.  This is useful under memory
-   debuggers like Checker or valgrind because it allows the
-   source location of bugs to be more accurately pinpointed.
+   debuggers like valgrind because it allows the source location
+   of bugs to be more accurately pinpointed.
 
    On the other hand, if we're testing the library, then we want to
    test the library's real functionality, not its crippled, slow,