diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/parser/promela.l')
| -rw-r--r-- | src/uscxml/plugins/datamodel/promela/parser/promela.l | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/parser/promela.l b/src/uscxml/plugins/datamodel/promela/parser/promela.l index faa134c..dc4b66c 100644 --- a/src/uscxml/plugins/datamodel/promela/parser/promela.l +++ b/src/uscxml/plugins/datamodel/promela/parser/promela.l @@ -34,7 +34,6 @@ bit|bool|byte|int|mtype|short|unsigned|string { len { return PML_LEN; } false|skip|true { yylval->value = strdup(yytext); return PML_CONST; } printf { return PML_PRINT; } -printm { return PML_PRINTM; } typedef { return PML_TYPEDEF; } assert { return PML_ASSERT; } |