mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-04 09:25:15 +00:00
Code Activity

Fix indentation in commented-out code section

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-18 00:46:01 +00:00 • committed by Nikolaj Bjorner
parent 7e71ee9eb6
commit bfdcfbe77c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_genfile_common.py
View file

@ -534,7 +534,7 @@ def mk_z3consts_ml_internal(api_files, output_dir):
# raise ValueError("Invalid %s, line: %s" % (api_file, linenum)) # raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
# else: # else:
# if mode != IN_ENUM: # 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) # words = re.split('[^\-a-zA-Z0-9_]+', line)
# m = closebrace_pat.match(line) # m = closebrace_pat.match(line)
# if m: # if m: