diff options
-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"); |