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 /src/api/cpp/cvc5_kind.h | |
parent | 9157ea94f036fd38d4d80272e2de0d36080c3a48 (diff) |
update comment
Diffstat (limited to 'src/api/cpp/cvc5_kind.h')
0 files changed, 0 insertions, 0 deletions