From 07e8eba6bb73b8465220c70701ab78f7422266b2 Mon Sep 17 00:00:00 2001
From: Sasha Lopoukhine <superlopuh@gmail.com>
Date: Wed, 2 Oct 2024 11:03:20 +0100
Subject: [PATCH] interpreter: use interpreter default bitwidth in run main
 (#3034)

---
 xdsl/tools/xdsl_run.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/xdsl/tools/xdsl_run.py b/xdsl/tools/xdsl_run.py
index 5f5f1ce4d0..92cbd8da11 100644
--- a/xdsl/tools/xdsl_run.py
+++ b/xdsl/tools/xdsl_run.py
@@ -62,6 +62,8 @@ def register_all_arguments(self, arg_parser: argparse.ArgumentParser):
         arg_parser.add_argument(
             "--index-bitwidth",
             choices=(32, 64),
+            # Otherwise default is None, overriding interpreter default mechanism
+            default=Interpreter.DEFAULT_BITWIDTH,
             type=int,
             nargs="?",
             help="Bitwidth of the index type representation.",