From 7e8fc4fdff351a71f5640c17848980a2409a14ca Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 18 Feb 2026 00:46:01 +0000
Subject: [PATCH] Fix indentation in commented-out code section

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 scripts/mk_genfile_common.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_genfile_common.py b/scripts/mk_genfile_common.py
index 364580550..f897c1519 100644
--- a/scripts/mk_genfile_common.py
+++ b/scripts/mk_genfile_common.py
@@ -534,7 +534,7 @@ def mk_z3consts_ml_internal(api_files, output_dir):
     #                 raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
     #         else:
     #             if mode != IN_ENUM:
-                 raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
+    #                 raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
     #             words = re.split('[^\-a-zA-Z0-9_]+', line)
     #             m = closebrace_pat.match(line)
     #             if m: