From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 14 Sep 2012 19:25:58 +0000 (+0000)
Subject: a fix for the java bindings for wei
X-Git-Tag: cvc5-1.0.0~7811
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=16414ea3a5fdee07005a107d2ad257c1ebb4f5f3;p=cvc5.git

a fix for the java bindings for wei
---

diff --git a/src/util/datatype.i b/src/util/datatype.i
index 2b2a96030..29965aadf 100644
--- a/src/util/datatype.i
+++ b/src/util/datatype.i
@@ -6,11 +6,15 @@
   /* 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(SWIGJAVA) || defined(SWIGPYTHON)
   %ignore vector(size_type);// java/python
   %ignore resize(size_type);// java/python
+#endif /* SWIGJAVA || SWIGPYTHON */
   %ignore set(int i, const CVC4::Datatype& x);
   %ignore to_array();
 };
@@ -20,11 +24,15 @@
   /* 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(SWIGJAVA) || defined(SWIGPYTHON)
   %ignore vector(size_type);// java/python
   %ignore resize(size_type);// java/python
+#endif /* SWIGJAVA || SWIGPYTHON */
   %ignore set(int i, const CVC4::Datatype::Constructor& x);
   %ignore to_array();
 };