853 		 yytext[strlen(yytext)-cut] = '\0';

   853 		 yytext[strlen(yytext)-cut] = '\0';

   854 		 yylval.ID=strdup(yytext+cut);

   854 		 yylval.ID=strdup(yytext+cut);

   855 		 return pragma_token;

   855 		 return pragma_token;

   856 		}

   856 		}

   857 <body_state>{pragma} {/* return the pragmma without the enclosing '{' and '}' */

   857 <body_state>{pragma} {/* return the pragmma without the enclosing '{' and '}' */

   860 		 return pragma_token;

   861 		 return pragma_token;

   861 		}

   862 		}

   862 

   863 

   863 

   864 

   864 	/*********************************/

   865 	/*********************************/