projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e73457b 2ab30bb)
Merge pull request #211 from CVC4/fix_warn_sygus
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Aug 2017 07:05:11 +0000 (09:05 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 07:05:11 +0000 (09:05 +0200)
Fix compiler warning in theory/quantifiers/term_database_sygus.cpp


Trivial merge