X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fidentifier.h;h=abb16d5645904b5b93e72097f05839dd9b00f09c;hb=6e0b939b8b107b911275b616f2cef6773a523d9f;hp=1fc63b4808f44e7e07ba3a92696f340f338d6922;hpb=74709d3f6d7c102bb3226f7f132c8be78ce8e8c2;p=pspp

diff --git a/src/data/identifier.h b/src/data/identifier.h
index 1fc63b4808..abb16d5645 100644
--- a/src/data/identifier.h
+++ b/src/data/identifier.h
@@ -66,10 +66,13 @@ enum token_type
   {
 #define TOKEN_TYPE(TYPE) T_##TYPE,
     TOKEN_TYPES
-    TOKEN_N_TYPES
 #undef TOKEN_TYPE
   };
 
+#define TOKEN_TYPE(TYPE) + 1
+enum { TOKEN_N_TYPES = TOKEN_TYPES };
+#undef TOKEN_TYPE
+
 const char *token_type_to_name (enum token_type);
 const char *token_type_to_string (enum token_type);