From 3f460f015f19fb7d9b4d88adb2779815d501e154 Mon Sep 17 00:00:00 2001
From: Parker TenBroeck <51721964+ParkerTenBroeck@users.noreply.github.com>
Date: Fri, 9 Jan 2026 23:08:58 -0500
Subject: [PATCH] fixed issue with pda parsing

---
 automata/src/automatan/pda.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/automata/src/automatan/pda.rs b/automata/src/automatan/pda.rs
index 3ae1f07..f6b9255 100644
--- a/automata/src/automatan/pda.rs
+++ b/automata/src/automatan/pda.rs
@@ -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);
                             }