From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 15 Sep 2012 22:32:34 +0000 (+0000)
Subject: another bindings fix (should fix debian build)
X-Git-Tag: cvc5-1.0.0~7809
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c09fae89b38b525c6e2ab1691be4363d0cb1157b;p=cvc5.git

another bindings fix (should fix debian build)
---

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