more bindings fixes

diff --git a/src/util/datatype.i b/src/util/datatype.i
index c84bef46eefac7ed254bca65f92881a9de09b712..068a338b4462f3cbaaf0bedc8c65073e2c69ffe2 100644 (file)
--- 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);