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

Merge branch 'main' into gh-pages

Browse source
This commit is contained in:
Parker TenBroeck 2026-01-09 23:09:03 -05:00
commit bd8c341ae8
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 states.contains_key(&State(ident)) {
if map if map
.insert(State(ident), StateInfo { definition: item.1 }) .insert(State(ident), StateInfo { definition: item.1 })
.is_none() .is_some()
{ {
ctx.emit_error("final state redefined", item.1); ctx.emit_error("final state redefined", item.1);
} }