New C++ API: Try to fix (false positive) Coverity warnings. (#2454)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 12 Sep 2018 23:41:18 +0000 (16:41 -0700)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 23:41:18 +0000 (16:41 -0700)
commitd80588a41753d011202d670dbf7123233b665af9
tree08c4c8bfd24ef153e18f484d1026d8076e8ec0ca
parentfa79faf9e6ca816e8310f96c95623633e63f7bef
New C++ API: Try to fix (false positive) Coverity warnings. (#2454)
src/api/cvc4cpp.cpp