alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlparse/ltlscan.ll: Reset the starting condition to 0 initially.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-03 17:19:08 +02:00
parent c55bd831a8
commit 1017350110
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlparse/ltlscan.ll
View file

@ -80,6 +80,8 @@ BOXDARROW {BOX}{DARROWL}|"|"{DARROWL}|"⤇"
start_token = 0; start_token = 0;
if (t == token::START_LBT) if (t == token::START_LBT)
BEGIN(lbt); BEGIN(lbt);
else
BEGIN(0);
return t; return t;
} }
yylloc->step(); yylloc->step();