diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-20 12:07:46 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-20 14:07:46 -0600 |
commit | 32fdf625f66b8ebf260756962a53d63eec771c12 (patch) | |
tree | 5faa5c73f80a9a1b73dbfdd44063436184047c98 /src/cvc4.i | |
parent | c780b1778e97afe15a0eb2522505b796cd5bbe71 (diff) |
Remove unused code (#3782)
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 97462170e..f9f8f5743 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -15,28 +15,6 @@ namespace std { } %{ -// Perl's headers define "seed" to Perl_seed, which breaks -// gmpxx.h; undo the damage for our CVC4 module. -#ifdef SWIGPERL -# undef seed -#endif /* SWIGPERL */ - -// OCaml's headers define "invalid_argument" and "flush" to -// caml_invalid_argument and caml_flush, which breaks C++ -// standard headers; undo this damage -// -// Unfortunately, this code isn't inserted early enough. swig puts -// an include <stdexcept> very early, which breaks linking due to a -// nonexistent std::caml_invalid_argument symbol.. ridiculous! -// -#ifdef SWIGOCAML -# if defined(flush) || defined(invalid_argument) -# error "flush" or "invalid_argument" (or both) is defined by the ocaml headers. You must #undef it above before inclusion of <stdexcept>. -# endif /* flush */ -# undef flush -# undef invalid_argument -#endif /* SWIGOCAML */ - namespace CVC4 {} using namespace CVC4; |