fix typo

Signed-off-by: Nikolaj Bjorner <[email protected]>
microsoft · Jun 5, 2024 · 816d8c4 · 816d8c4
1 parent 0b7139a
commit 816d8c4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/website/solutions/z3/4.12.1/d075b1b1d8fba87be0f64383ec310aacc1257623/input.json b/website/solutions/z3/4.12.1/d075b1b1d8fba87be0f64383ec310aacc1257623/input.json
diff --git a/website/solutions/z3/4.12.1/d075b1b1d8fba87be0f64383ec310aacc1257623/output.json b/website/solutions/z3/4.12.1/d075b1b1d8fba87be0f64383ec310aacc1257623/output.json