projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edd2009) | patch
[Parser] Simplify `Smt2::addIndexedOperator()` (#8333)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 17 Mar 2022 21:36:48 +0000 (14:36 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 21:36:48 +0000 (21:36 +0000)
commit3c37d6aeb7028923ea1827a75de54bd6947b955b
tree5bd057312e0f130ca5ffcc6a46d5be37d6d72596tree
parentedd20094addd10f44df924581b88b52bd4648ca2commit | diff
[Parser] Simplify `Smt2::addIndexedOperator()` (#8333)

It seems that Smt2::addIndexedOperator() has not been updated after we
fully switched the parser over to using API kinds. This commit
simplifies Smt2::addIndexedOperator() accordingly.
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history