diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:03:34 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-15 01:03:34 +0000 |
commit | 3d3d6490f46f9dd7b48b02eed03a66086e32ded1 (patch) | |
tree | 7b5fa31f7efb1a1d15718a333ea01d01bf5216c0 /src/util | |
parent | db91d5e5ad954b7a25eddd4a3e075584abc8bee3 (diff) |
fixes for python language binding, added python example
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/datatype.i | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/datatype.i b/src/util/datatype.i index 510b73225..23782aa28 100644 --- a/src/util/datatype.i +++ b/src/util/datatype.i @@ -9,11 +9,13 @@ namespace CVC4 { %extend std::vector< CVC4::Datatype > { %ignore vector(size_type); + %ignore resize(size_type); }; %template(vectorDatatype) std::vector< CVC4::Datatype >; %extend std::vector< CVC4::Datatype::Constructor > { %ignore vector(size_type); + %ignore resize(size_type); }; %template(vectorDatatypeConstructor) std::vector< CVC4::Datatype::Constructor >; |