ParkerTenBroeck/automata
1
0
Fork 0
mirror of https://github.com/ParkerTenBroeck/automata.git synced 2026-06-07 05:28:45 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

fixed issue with pda parsing

Browse source
This commit is contained in:
Parker TenBroeck 2026-01-09 23:08:58 -05:00
parent 62cda62b31
commit 3f460f015f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
automata/src/automatan/pda.rs
View file

@ -132,7 +132,7 @@ impl<'a> Pda<'a> {
if states.contains_key(&State(ident)) {
if map
.insert(State(ident), StateInfo { definition: item.1 })
.is_none()
.is_some()
{
ctx.emit_error("final state redefined", item.1);
}