diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2021-10-05 19:41:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-06 00:41:05 +0000 |
commit | fa18d91091ef640fd38b29ed87f69260d8f80208 (patch) | |
tree | 26dcf8a23025c86196729b9c12b1e8aa2c311f41 /src/theory/arith/nl/nonlinear_extension.cpp | |
parent | e64a4bc87d2d98e04e8450d4ad9856bce3494c78 (diff) |
Avoid calling `quoteSymbol` multiple times. (#7307)
Calling `quoteSymbol(...)` twice on an empty string `""` returns `"|__|"`.
Diffstat (limited to 'src/theory/arith/nl/nonlinear_extension.cpp')
0 files changed, 0 insertions, 0 deletions