From 01bf46dc1f5e8c29177659650dc84cf7d55c012a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andrei=20V=C4=83caru?=
 <16517508+anvacaru@users.noreply.github.com>
Date: Wed, 14 Aug 2024 13:01:59 +0300
Subject: [PATCH] change symbolic-constructor flag to symbolic-immutables
 (#2580)

---
 kevm-pyk/src/kevm_pyk/cli.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
index 52fcaf3caa..dbac96c89d 100644
--- a/kevm-pyk/src/kevm_pyk/cli.py
+++ b/kevm-pyk/src/kevm_pyk/cli.py
@@ -1087,11 +1087,11 @@ def explore_args(self) -> ArgumentParser:
             help='Store a node for every EVM basic block (implies --break-on-calls).',
         )
         args.add_argument(
-            '--symbolic-constructor',
+            '--symbolic-immutables',
             dest='break_on_load_program',
             default=None,
             action='store_true',
-            help='Enable support for symbolic parameters in Solidity constructor code.',
+            help='Enable support for symbolic immutable variables in Solidity code.',
         )
         args.add_argument(
             '--max-depth',