X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fidentifier.h;h=4a23dd7dd5db1079f47e9edab4d2e9a172e1ed96;hb=e0cbdf0daefcca81be9572aab0deedf945687f5a;hp=dcbce970cda97168ab96a22c3e51660d33efc763;hpb=64ba9bcf7a234b51dbaeac545338981bfc2a700c;p=pspp

diff --git a/src/data/identifier.h b/src/data/identifier.h
index dcbce970cd..4a23dd7dd5 100644
--- a/src/data/identifier.h
+++ b/src/data/identifier.h
@@ -89,8 +89,11 @@ bool lex_is_keyword (enum token_type);
 /* Validating identifiers. */
 #define ID_MAX_LEN 64          /* Maximum length of identifier, in bytes. */
 
-bool id_is_valid (const char *id, const char *dict_encoding, bool issue_error);
-bool id_is_plausible (const char *id, bool issue_error);
+bool id_is_valid (const char *id, const char *dict_encoding);
+bool id_is_plausible (const char *id);
+char *id_is_valid__ (const char *id, const char *dict_encoding)
+  WARN_UNUSED_RESULT;
+char *id_is_plausible__ (const char *id) WARN_UNUSED_RESULT;
 
 /* Recognizing identifiers. */
 bool lex_is_id1 (char);