From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 3 Oct 2019 04:39:14 +0000 (-0700)
Subject: Fix compiler warning. (#3348)
X-Git-Tag: cvc5-1.0.0~3920
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba73019ebea069607ff1a66863bbdb6a5d501344;p=cvc5.git

Fix compiler warning. (#3348)
---

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)
   {