X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmrset.h;h=30d855ec3d62d43fca4c64c4b2d3f98c3ea4028a;hb=f5c08530fe57a5a1a0bd1b6d82ad2fd446068d93;hp=9971924e0d39d2d9c1adb044e2c033d39b9ab77f;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/data/mrset.h b/src/data/mrset.h
index 9971924e0d..30d855ec3d 100644
--- a/src/data/mrset.h
+++ b/src/data/mrset.h
@@ -77,8 +77,9 @@ struct mrset
 struct mrset *mrset_clone (const struct mrset *);
 void mrset_destroy (struct mrset *);
 
-bool mrset_is_valid_name (const char *name, const char *dict_encoding,
-                          bool issue_error);
+char *mrset_is_valid_name__ (const char *name, const char *dict_encoding)
+  WARN_UNUSED_RESULT;
+bool mrset_is_valid_name (const char *name, const char *dict_encoding);
 
 bool mrset_ok (const struct mrset *, const struct dictionary *);