From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 17 Sep 2012 21:14:37 +0000 (+0000)
Subject: more bindings fixes
X-Git-Tag: cvc5-1.0.0~7804
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe8daeac0ccff8e9b2a88f599b15f16f1f6fbfba;p=cvc5.git

more bindings fixes
---

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);