X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fpool-test.c;h=8f1484ff5fb0e5b487d09268a34f75d431e42255;hb=244ade48f9c233532cc535d3233fdef53bf9266b;hp=17674fbdba28bb48e4f912a77317ce12bcaaa135;hpb=5d9d2b2ae7d49240f3438e4f3c40ac1f276e31fb;p=pspp-builds.git

diff --git a/src/language/tests/pool-test.c b/src/language/tests/pool-test.c
index 17674fbd..8f1484ff 100644
--- a/src/language/tests/pool-test.c
+++ b/src/language/tests/pool-test.c
@@ -32,7 +32,7 @@
 /* Self-test routine.
    This is not exhaustive, but it can be useful. */
 int
-cmd_debug_pool (void)
+cmd_debug_pool (struct dataset *ds UNUSED)
 {
   int seed = time (0) * 257 % 32768;