another bindings fix (should fix debian build)

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