Fix compiler warning. (#3348)

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index b40a58e3700892f57179ec0855baad8623b5546c..5321cbd95b213bca9daba86115abe804577b4df0 100644 (file)
--- a/src/api/cvc4cpp.cpp
+++ b/src/api/cvc4cpp.cpp
@@ -1356,7 +1356,7 @@ template <>
 uint32_t OpTerm::getIndices() const
 {
   CVC4_API_CHECK_NOT_NULL;
-  uint32_t i;
+  uint32_t i = 0;
   Kind k = intToExtKind(d_expr->getKind());
   switch (k)
   {