diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-09 21:11:47 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-09 21:11:47 +0000 |
commit | 4456e91e726afa15fbc1bd03a3d945ff5377b474 (patch) | |
tree | 36c1ddc5bada10c63bbfaadfb8f7290732b165cf /src/expr/expr_template.cpp | |
parent | fc163356c3bcc6e21bbb52e0e7de719817138eb7 (diff) |
export null nodes (fixes a bug in portfolio model stuff)
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 65a671b77..bc7f0f47c 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -112,6 +112,7 @@ namespace expr { static Node exportConstant(TNode n, NodeManager* to); Node exportInternal(TNode n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap) { + if(n.isNull()) return Node::null(); if(theory::kindToTheoryId(n.getKind()) == theory::THEORY_DATATYPES) { throw ExportUnsupportedException ("export of node belonging to theory of DATATYPES kinds unsupported"); |