From 4456e91e726afa15fbc1bd03a3d945ff5377b474 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 9 Nov 2012 21:11:47 +0000
Subject: [PATCH] export null nodes (fixes a bug in portfolio model stuff)

---
 src/expr/expr_template.cpp | 1 +
 1 file changed, 1 insertion(+)

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