diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-02 21:39:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-02 21:39:14 -0700 |
commit | ba73019ebea069607ff1a66863bbdb6a5d501344 (patch) | |
tree | 2c316475ddeb3c9417df4aadab9cd051d01db43f /src/api/cvc4cpp.cpp | |
parent | 40ec51368b5ab23e74fb3537f307782f6c76ab22 (diff) |
Fix compiler warning. (#3348)
Diffstat (limited to 'src/api/cvc4cpp.cpp')
-rw-r--r-- | src/api/cvc4cpp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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) { |