diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/unsat_core.i | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/unsat_core.i b/src/util/unsat_core.i index 060ee3300..c69dade8f 100644 --- a/src/util/unsat_core.i +++ b/src/util/unsat_core.i @@ -9,6 +9,8 @@ #endif /* SWIGJAVA */ %} +%ignore CVC4::operator<<(std::ostream&, const UnsatCore&); + #ifdef SWIGJAVA // Instead of UnsatCore::begin() and end(), create an |