X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fstr.h;h=c53b2f4659c37f016ff50bdf8f434c902e2d6c17;hb=dbb0228a4c98cbf4756ba651fda158c1565b3b55;hp=48cad16cc019226a1f64f4cec1f7b0b28b0f1359;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/str.h b/src/str.h
index 48cad16cc0..c53b2f4659 100644
--- a/src/str.h
+++ b/src/str.h
@@ -120,6 +120,7 @@ long getdelim (char **lineptr, size_t * n, int delimiter, FILE * stream);
 
 void mm_reverse (void *, size_t);
 char *mm_find_reverse (const char *, size_t, const char *, size_t);
+int mm_case_compare (const void *, const void *, size_t);
 
 int st_compare_pad (const char *, size_t, const char *, size_t);
 char *st_spaces (int);