From f353f0430995c37ed8be8c59593b85a8e8582ea3 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 19 Jun 2026 18:57:55 -0700
Subject: [PATCH] missing pop_scope for typedef in package scope

This adds a missing pop_scope to match the enter_scope for a typedef in a
given package scope.
---
 src/verilog/parser.y | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/verilog/parser.y b/src/verilog/parser.y
index 0f1ec0324..265eff7d8 100644
--- a/src/verilog/parser.y
+++ b/src/verilog/parser.y
@@ -1672,10 +1672,13 @@ data_type:
         | type_identifier packed_dimension_brace
                 { add_as_subtype(stack_type($2), stack_type($1));
                   $$ = $2; }
-        | package_scope type_identifier packed_dimension_brace
+        | package_scope
+          type_identifier
+                { pop_scope(); /* exit the package scope */ }
+          packed_dimension_brace
                 { mto($1, $2);
-                  add_as_subtype(stack_type($3), stack_type($1));
-                  $$ = $3; }
+                  add_as_subtype(stack_type($4), stack_type($1));
+                  $$ = $4; }
         | class_type
         | TOK_EVENT
                 { init($$, ID_verilog_event); }