diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-02 18:01:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-02 16:01:08 +0000 |
| commit | e1d476724171293d324ea9f144d1171d9b36b571 (patch) | |
| tree | cb250dc5a85851b022052c8578883e16df6efe62 /test/regress/regress0/strings/rewrites-v2.smt2 | |
| parent | ec6fe33ab778a7bb5d2d016b799b1918b90fc338 (diff) | |
Use proper variable name (#6670)
This PR fixes the driver which used an incorrect variable name in competition mode.
Diffstat (limited to 'test/regress/regress0/strings/rewrites-v2.smt2')
0 files changed, 0 insertions, 0 deletions