From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 26 May 2020 16:44:51 +0000 (-0700)
Subject: Fix mismatched iterators (CID 1493892). (#4531)
X-Git-Tag: cvc5-1.0.0~3287
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1e6f142d3b309db022edcfd3218adcb146d73dec;p=cvc5.git

Fix mismatched iterators (CID 1493892). (#4531)

Issue found by coverity.
---

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index 052b62efc..1ea421c4b 100644
--- a/src/api/cvc4cpp.cpp
+++ b/src/api/cvc4cpp.cpp
@@ -2354,7 +2354,7 @@ Sort Grammar::resolve()
       addSygusConstructorTerm(dtDecl, consTerm, ntsToUnres);
     }
 
-    if (d_allowVars.find(ntSym) != d_allowConst.cend())
+    if (d_allowVars.find(ntSym) != d_allowVars.cend())
     {
       addSygusConstructorVariables(dtDecl, ntSym.d_expr->getType());
     }