diff options
Diffstat (limited to 'src')
-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); |