1 files changed, 72 insertions, 72 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp
index 4d2aac2..b8381cf 100644
--- a/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp
+++ b/src/uscxml/plugins/datamodel/promela/parser/promela.tab.hpp
@@ -54,78 +54,78 @@ extern int promela_debug;
    /* Put the tokens into the symbol table, so that GDB and other debuggers
       know about them.  */
    enum promela_tokentype {
-     VAR_ARRAY = 258,
-     VARLIST = 259,
-     DECL = 260,
-     DECLLIST = 261,
-     STMNT = 262,
-     COLON = 263,
-     EXPR = 264,
-     NAMELIST = 265,
-     ASSERT = 266,
-     PRINT = 267,
-     PRINTM = 268,
-     LEN = 269,
-     STRING = 270,
-     TYPEDEF = 271,
-     MTYPE = 272,
-     INLINE = 273,
-     RETURN = 274,
-     LABEL = 275,
-     OF = 276,
-     GOTO = 277,
-     BREAK = 278,
-     ELSE = 279,
-     SEMI = 280,
-     ARROW = 281,
-     IF = 282,
-     FI = 283,
-     DO = 284,
-     OD = 285,
-     FOR = 286,
-     SELECT = 287,
-     IN = 288,
-     SEP = 289,
-     DOTDOT = 290,
-     HIDDEN = 291,
-     SHOW = 292,
-     ISLOCAL = 293,
-     CONST = 294,
-     TYPE = 295,
-     XU = 296,
-     NAME = 297,
-     UNAME = 298,
-     PNAME = 299,
-     INAME = 300,
-     CLAIM = 301,
-     TRACE = 302,
-     INIT = 303,
-     LTL = 304,
-     COMMA = 305,
-     ASGN = 306,
-     AND = 307,
-     OR = 308,
-     BITAND = 309,
-     BITXOR = 310,
-     BITOR = 311,
-     NE = 312,
-     EQ = 313,
-     LE = 314,
-     GE = 315,
-     LT = 316,
-     GT = 317,
-     RSHIFT = 318,
-     LSHIFT = 319,
-     MINUS = 320,
-     PLUS = 321,
-     MODULO = 322,
-     DIVIDE = 323,
-     TIMES = 324,
-     DECR = 325,
-     INCR = 326,
-     COMPL = 327,
-     NEG = 328,
-     DOT = 329
+     PML_VAR_ARRAY = 258,
+     PML_VARLIST = 259,
+     PML_DECL = 260,
+     PML_DECLLIST = 261,
+     PML_STMNT = 262,
+     PML_COLON = 263,
+     PML_EXPR = 264,
+     PML_NAMELIST = 265,
+     PML_ASSERT = 266,
+     PML_PRINT = 267,
+     PML_PRINTM = 268,
+     PML_LEN = 269,
+     PML_STRING = 270,
+     PML_TYPEDEF = 271,
+     PML_MTYPE = 272,
+     PML_INLINE = 273,
+     PML_RETURN = 274,
+     PML_LABEL = 275,
+     PML_OF = 276,
+     PML_GOTO = 277,
+     PML_BREAK = 278,
+     PML_ELSE = 279,
+     PML_SEMI = 280,
+     PML_ARROW = 281,
+     PML_IF = 282,
+     PML_FI = 283,
+     PML_DO = 284,
+     PML_OD = 285,
+     PML_FOR = 286,
+     PML_SELECT = 287,
+     PML_IN = 288,
+     PML_SEP = 289,
+     PML_DOTDOT = 290,
+     PML_HIDDEN = 291,
+     PML_SHOW = 292,
+     PML_ISLOCAL = 293,
+     PML_CONST = 294,
+     PML_TYPE = 295,
+     PML_XU = 296,
+     PML_NAME = 297,
+     PML_UNAME = 298,
+     PML_PNAME = 299,
+     PML_INAME = 300,
+     PML_CLAIM = 301,
+     PML_TRACE = 302,
+     PML_INIT = 303,
+     PML_LTL = 304,
+     PML_COMMA = 305,
+     PML_ASGN = 306,
+     PML_AND = 307,
+     PML_OR = 308,
+     PML_BITAND = 309,
+     PML_BITXOR = 310,
+     PML_BITOR = 311,
+     PML_NE = 312,
+     PML_EQ = 313,
+     PML_LE = 314,
+     PML_GE = 315,
+     PML_LT = 316,
+     PML_GT = 317,
+     PML_RSHIFT = 318,
+     PML_LSHIFT = 319,
+     PML_MINUS = 320,
+     PML_PLUS = 321,
+     PML_MODULO = 322,
+     PML_DIVIDE = 323,
+     PML_TIMES = 324,
+     PML_DECR = 325,
+     PML_INCR = 326,
+     PML_COMPL = 327,
+     PML_NEG = 328,
+     PML_DOT = 329
    };
 #endif