diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-21 23:40:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-21 23:40:44 -0500 |
| commit | 026f7ae7bb3678281fb46defff4a1202c69d5f4e (patch) | |
| tree | 46789ea4793e51f8f7154a7422c44d8d74457c48 /src/expr/proof_node_to_sexpr.cpp | |
| parent | 0f9b0dd69bef6a108b1ccc185223733f1d8fa40d (diff) | |
Update string kind names in new API (#4509)
To match the smt2 Unicode standard. The internal ones are left unchanged for now.
Diffstat (limited to 'src/expr/proof_node_to_sexpr.cpp')
0 files changed, 0 insertions, 0 deletions