Commit db4e343
committed
fix(ci): use C++20 for Z3 build on macOS (aggregate init with parens)
Z3 uses parenthesized aggregate initialization (e.g. key_data(k, v))
which is a C++20 feature (P0960R3). Apple Clang defaults to C++17 where
this is not supported. Switch to -std=c++20.
Assisted-By: Claude (Anthropic AI) <noreply@anthropic.com>
Signed-off-by: Paolo Dettori <dettori@us.ibm.com>1 parent c018659 commit db4e343
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
134 | 134 | | |
135 | 135 | | |
136 | 136 | | |
137 | | - | |
| 137 | + | |
138 | 138 | | |
139 | 139 | | |
140 | 140 | | |
| |||
0 commit comments