diff options
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 7723aee6e..8505d5128 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -25,11 +25,14 @@ namespace std { // caml_invalid_argument and caml_flush, which breaks C++ // standard headers; undo this damage // -// Unfortunately, this doesn't happen early enough. swig puts an -// include <stdexcept> very early, which breaks linking due to a +// 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 */ |