projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c323481) | patch
fixing issue #4808. (#4810)
authorYing Sheng <sqy1415@gmail.com>
Tue, 28 Jul 2020 22:35:06 +0000 (15:35 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 22:35:06 +0000 (17:35 -0500)
commit24710c2f7f754cd8297409f82b5cb0789e16ee18
tree8e3f07902fcbc2d3b37045ddf3c82bd6a1780ce3tree
parentc323481d737d82b4b4b2906afec3200fe223707fcommit | diff
fixing issue #4808. (#4810)

fixing issue #4808. Remove structural binding, which only supported by c++17.
src/theory/quantifiers/sygus/sygus_interpol.cpp diff | blob | history