diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-08 20:16:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-08 20:16:57 -0700 |
| commit | f0340df210f2bb2a0a5fd95e0d9e6a8548cf1fc7 (patch) | |
| tree | e29569290d9df29739b4391ef326fa9a8bdf507b /src/api | |
| parent | 0d310d6716d1ab679cd466a2e47e5c0f6cdd8569 (diff) | |
Fix compiler warnings. (#2601)
Diffstat (limited to 'src/api')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index c8248d803..be7c5c665 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -544,10 +544,12 @@ namespace { bool isDefinedKind(Kind k) { return k > UNDEFINED_KIND && k < LAST_KIND; } +#ifdef CVC4_ASSERTIONS bool isDefinedIntKind(CVC4::Kind k) { return k != CVC4::Kind::UNDEFINED_KIND && k != CVC4::Kind::LAST_KIND; } +#endif Kind intToExtKind(CVC4::Kind k) { |