diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-11 17:04:29 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-12-11 17:04:29 -0500 |
commit | 69c092f9e2ac6d9628f4de3e0038c1f021b3c7c6 (patch) | |
tree | 8e07794e8040d2ff65c9d4148c60a0f8dfb0f311 /src/util | |
parent | a7b5b506a1b84b23bdb4263150590d15af8193fa (diff) |
Minor fixes to language bindings. (Resolves #607.)
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 |