diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:32:34 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:32:34 +0000 |
| commit | c09fae89b38b525c6e2ab1691be4363d0cb1157b (patch) | |
| tree | da68dc3bf903447d82e140769405d74a5549e618 | |
| parent | fd64516dccb0f5fe7051343f7d5ccd7b46d99ec0 (diff) | |
another bindings fix (should fix debian build)
| -rw-r--r-- | src/util/datatype.i | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/util/datatype.i b/src/util/datatype.i index 29965aadf..c84bef46e 100644 --- a/src/util/datatype.i +++ b/src/util/datatype.i @@ -11,10 +11,8 @@ %ignore set( int i, const CVC4::Datatype &x );// ocaml %ignore to_array();// ocaml #endif /* SWIGOCAML */ -#if defined(SWIGJAVA) || defined(SWIGPYTHON) - %ignore vector(size_type);// java/python - %ignore resize(size_type);// java/python -#endif /* SWIGJAVA || SWIGPYTHON */ + %ignore vector(size_type);// java/python/perl/others? + %ignore resize(size_type);// java/python/perl/others? %ignore set(int i, const CVC4::Datatype& x); %ignore to_array(); }; @@ -29,10 +27,8 @@ %ignore set( int i, const CVC4::DatatypeConstructor &x );// ocaml %ignore to_array();// ocaml #endif /* SWIGOCAML */ -#if defined(SWIGJAVA) || defined(SWIGPYTHON) - %ignore vector(size_type);// java/python - %ignore resize(size_type);// java/python -#endif /* SWIGJAVA || SWIGPYTHON */ + %ignore vector(size_type);// java/python/perl/others? + %ignore resize(size_type);// java/python/perl/others? %ignore set(int i, const CVC4::Datatype::Constructor& x); %ignore to_array(); }; |