From ba73019ebea069607ff1a66863bbdb6a5d501344 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 2 Oct 2019 21:39:14 -0700
Subject: [PATCH] Fix compiler warning. (#3348)

---
 src/api/cvc4cpp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index b40a58e37..5321cbd95 100644
--- 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)
   {
-- 
2.30.2