diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-02 21:12:58 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-02 21:12:58 -0700 |
| commit | 4051c9f2df3f83d7e09636f97ed56ed9579e557d (patch) | |
| tree | 5548ff129690fa4fe8541cbe34a30afdc04d2a98 /test/regress/regress1/strings/idof-nconst-index.smt2 | |
| parent | 9157ea94f036fd38d4d80272e2de0d36080c3a48 (diff) | |
update comment
Diffstat (limited to 'test/regress/regress1/strings/idof-nconst-index.smt2')
0 files changed, 0 insertions, 0 deletions