From c09fae89b38b525c6e2ab1691be4363d0cb1157b Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 15 Sep 2012 22:32:34 +0000 Subject: [PATCH] another bindings fix (should fix debian build) --- src/util/datatype.i | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) 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(); }; -- 2.30.2