diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-25 02:51:51 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-25 02:51:51 -0700 |
| commit | f1adf019b6ef7209502fb3ecfe5acff0e17fe803 (patch) | |
| tree | 8c18dbcff3b877821a883415c02ca66b86729b7e /src/smt/solver_engine_stats.cpp | |
| parent | f493ea93e925e3ad9bfe0036e1d876d5600d5b30 (diff) | |
[Regression Script] Support older Python versions
This removes two uses of f-strings, which are not supported by Python
<3.6.
Diffstat (limited to 'src/smt/solver_engine_stats.cpp')
0 files changed, 0 insertions, 0 deletions