diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-21 21:52:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-21 21:52:17 +0000 |
commit | 8b4754b8116c029b5314fccb39f200a6d0e90abd (patch) | |
tree | a17c848a49468015d2ebfb161b708f037d3e0ca1 /src/expr/expr.i | |
parent | f52bee51e20b0670f9a2bd13ae2fdefd5eba1546 (diff) |
language bindings fixes for yesterday's portfolio merge
Diffstat (limited to 'src/expr/expr.i')
-rw-r--r-- | src/expr/expr.i | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index ff4d219a2..6ed7f2d25 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -22,4 +22,10 @@ %rename(getChild) CVC4::Expr::operator[](unsigned i) const; %ignore CVC4::Expr::operator bool() const;// can just use isNull() +namespace CVC4 { + namespace expr { + %ignore exportInternal; + }/* CVC4::expr namespace */ +}/* CVC4 namespace */ + %include "expr/expr.h" |