git.libre-soc.org Git - cvc5.git/commit

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Wed, 6 Oct 2021 00:41:05 +0000 (19:41 -0500)
committer	GitHub <noreply@github.com>
	Wed, 6 Oct 2021 00:41:05 +0000 (00:41 +0000)
commit	fa18d91091ef640fd38b29ed87f69260d8f80208
tree	26dcf8a23025c86196729b9c12b1e8aa2c311f41	tree
parent	e64a4bc87d2d98e04e8450d4ad9856bce3494c78	commit \| diff

Avoid calling `quoteSymbol` multiple times. (#7307)

Calling `quoteSymbol(...)` twice on an empty string `""` returns `"|__|"`.