From 762b7c12461c3d8bec61b29ca3d2d611dd6feb05 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 10 Nov 2025 10:56:35 -0800
Subject: [PATCH] SMV: create module before parsing parameters

The module data structure needs to be created before parsing the module
parameters.
---
 src/smvlang/parser.y | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/src/smvlang/parser.y b/src/smvlang/parser.y
index c7a994539..38a302514 100644
--- a/src/smvlang/parser.y
+++ b/src/smvlang/parser.y
@@ -361,14 +361,9 @@ module_name: IDENTIFIER_Token
            | STRING_Token
            ;
 
-module_head: MODULE_Token module_name
-           {
-             new_module($2);
-           }
-           | MODULE_Token module_name '(' module_parameters_opt ')'
-           {
-             new_module($2);
-           }
+module_head: MODULE_Token module_name { new_module($2); }
+           | MODULE_Token module_name { new_module($2); }
+             '(' module_parameters_opt ')'
            ;
 
 module_body: /* optional */