From fe8daeac0ccff8e9b2a88f599b15f16f1f6fbfba Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 17 Sep 2012 21:14:37 +0000 Subject: [PATCH] more bindings fixes --- src/util/datatype.i | 20 ++++++++++---------- 1 file 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); -- 2.30.2