From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 9 Nov 2012 21:11:47 +0000 (+0000)
Subject: export null nodes (fixes a bug in portfolio model stuff)
X-Git-Tag: cvc5-1.0.0~7630
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4456e91e726afa15fbc1bd03a3d945ff5377b474;p=cvc5.git

export null nodes (fixes a bug in portfolio model stuff)
---

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