diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-11-11 20:20:35 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-11-11 20:20:35 -0800 |
| commit | 4597b472f1c81551e6ca2d92b95c438bd3081b4c (patch) | |
| tree | cdddaa50b411f1a37891b5102bca6f11261816b4 /test/regress/regress0/bug596b.cvc.smt2 | |
| parent | 01cc6aab4031f633bdf6cb41a0a8aa6345bb24eb (diff) | |
Support older bash versions
Diffstat (limited to 'test/regress/regress0/bug596b.cvc.smt2')
0 files changed, 0 insertions, 0 deletions