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

Issue found by coverity.

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index 052b62efce75bf1ff7e21114ecc6ce0838fb6c96..1ea421c4bbb3a1a04baa0daefd7275b75847439d 100644 (file)
--- 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());
     }