X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fprint-space.c;h=7eddf99dd855f80405428b5b27542651fc905cde;hb=a37754c18dee3d5941e5fe041b2c1fa1a3370157;hp=1388f2971294660be67ae8d5a88f6deff5d37488;hpb=e16d30a43af6ada7b8846f48a55eb3cb8f4e5f22;p=pspp-builds.git

diff --git a/src/language/data-io/print-space.c b/src/language/data-io/print-space.c
index 1388f297..7eddf99d 100644
--- a/src/language/data-io/print-space.c
+++ b/src/language/data-io/print-space.c
@@ -103,7 +103,7 @@ cmd_print_space (void)
 /* Executes a PRINT SPACE transformation. */
 static int
 print_space_trns_proc (void *t_, struct ccase *c,
-                       int case_num UNUSED)
+                       casenum_t case_num UNUSED)
 {
   struct print_space_trns *trns = t_;
   int n;