X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fstr.h;h=77d918e28ce8881cf7f6fa5ca8765c4952ef566e;hb=7102dc8607b7e6e25bdb9806f508dce71fe76ce4;hp=6f34c200d054d59c3da3f453db211d198fd798fe;hpb=b990f5c31bc831e588a86f9f4826387c6843c989;p=pspp

diff --git a/src/libpspp/str.h b/src/libpspp/str.h
index 6f34c200d0..77d918e28c 100644
--- a/src/libpspp/str.h
+++ b/src/libpspp/str.h
@@ -144,7 +144,9 @@ int ds_ltrim_spaces (struct string *);
 void ds_trim_spaces (struct string *);
 bool ds_chomp (struct string *, char);
 bool ds_separate (const struct string *src, struct string *token,
-                  const char *delimiters, int *save_idx);
+                  const char *delimiters, size_t *save_idx);
+bool ds_tokenize (const struct string *src, struct string *token,
+                  const char *delimiters, size_t *save_idx);
 
 /* Inspectors. */
 bool ds_is_empty (const struct string *);