Fix mismatched iterators (CID 1493892). (#4531)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 26 May 2020 16:44:51 +0000 (09:44 -0700)
committerGitHub <noreply@github.com>
Tue, 26 May 2020 16:44:51 +0000 (11:44 -0500)
commit1e6f142d3b309db022edcfd3218adcb146d73dec
tree81a9074f701d0392f21e3b58e28a978ce5f569e7
parent7da96102de1894fb96eccec5315234d7c441f017
Fix mismatched iterators (CID 1493892). (#4531)

Issue found by coverity.
src/api/cvc4cpp.cpp