diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 17:30:13 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-16 17:30:13 -0400 |
commit | fb16f84410cac73447485a3e6d8ab2dee3cc253a (patch) | |
tree | 6bb92ca6fd64ea5a27b6b5c3e0c82b251881b752 /src/cvc4.i | |
parent | b48a369333f077fa7cce117976f760cd6332691a (diff) |
minor changes to language bindings
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 965452b84..386bd00b5 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -54,9 +54,11 @@ using namespace CVC4; #include "expr/expr.h" #include "util/datatype.h" #include "expr/command.h" -#include "bindings/java_stream_adapters.h" +#ifdef SWIGJAVA +#include "bindings/java_stream_adapters.h" std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; +#endif %} %template(vectorCommandPtr) std::vector< CVC4::Command* >; |