diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-17 21:14:37 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-17 21:14:37 +0000 |
| commit | fe8daeac0ccff8e9b2a88f599b15f16f1f6fbfba (patch) | |
| tree | 3795e7ad5be1132f5e4aca3351960200fad4735d /src/util | |
| parent | 1417d43cca9eae841cef84d7bc5d245d235daaa1 (diff) | |
more bindings fixes
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/datatype.i | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/util/datatype.i b/src/util/datatype.i index c84bef46e..068a338b4 100644 --- a/src/util/datatype.i +++ b/src/util/datatype.i @@ -6,11 +6,11 @@ /* These member functions have slightly different signatures in * different swig language packages. The underlying issue is that * DatatypeConstructor doesn't have a default constructor */ -#ifdef SWIGOCAML - %ignore vector(unsigned int size = 0);// ocaml - %ignore set( int i, const CVC4::Datatype &x );// ocaml - %ignore to_array();// ocaml -#endif /* SWIGOCAML */ +#if defined(SWIGOCAML) || defined(SWIGPERL) || defined(SWIGTCL) + %ignore vector(unsigned int size = 0); + %ignore set( int i, const CVC4::Datatype &x ); + %ignore to_array(); +#endif /* SWIGOCAML || SWIGPERL || SWIGTCL */ %ignore vector(size_type);// java/python/perl/others? %ignore resize(size_type);// java/python/perl/others? %ignore set(int i, const CVC4::Datatype& x); @@ -22,11 +22,11 @@ /* These member functions have slightly different signatures in * different swig language packages. The underlying issue is that * DatatypeConstructor doesn't have a default constructor */ -#ifdef SWIGOCAML - %ignore vector(unsigned int size = 0);// ocaml - %ignore set( int i, const CVC4::DatatypeConstructor &x );// ocaml - %ignore to_array();// ocaml -#endif /* SWIGOCAML */ +#if defined(SWIGOCAML) || defined(SWIGPERL) || defined(SWIGTCL) + %ignore vector(unsigned int size = 0); + %ignore set( int i, const CVC4::DatatypeConstructor &x ); + %ignore to_array(); +#endif /* SWIGOCAML || SWIGPERL || SWIGTCL */ %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); |