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 | |
| parent | 40ec51368b5ab23e74fb3537f307782f6c76ab22 (diff) | |
Fix compiler warning. (#3348)
| -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) { |