X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fidentifier.h;h=352ef2eafc1b3b381a82d7ee55e96b4dc344623e;hb=828f40a9dfc8522482bc59b939227f9f93ee691a;hp=a8c2a9fde11ace731e1c5878a7d6458dfa4b9248;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp

diff --git a/src/data/identifier.h b/src/data/identifier.h
index a8c2a9fde1..352ef2eafc 100644
--- a/src/data/identifier.h
+++ b/src/data/identifier.h
@@ -60,6 +60,8 @@ size_t lex_id_get_length (struct substring);
 
 /* Comparing identifiers. */
 bool lex_id_match (struct substring keyword, struct substring token);
+bool lex_id_match_n (struct substring keyword, struct substring token,
+                     size_t n);
 int lex_id_to_token (struct substring);
 
 /* Identifier names. */