diff options
Diffstat (limited to 'src/expr/node_converter.cpp')
-rw-r--r-- | src/expr/node_converter.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/node_converter.cpp b/src/expr/node_converter.cpp index 92b459105..eabe1d4f1 100644 --- a/src/expr/node_converter.cpp +++ b/src/expr/node_converter.cpp @@ -25,6 +25,10 @@ NodeConverter::NodeConverter(bool forceIdem) : d_forceIdem(forceIdem) {} Node NodeConverter::convert(Node n) { + if (n.isNull()) + { + return n; + } Trace("nconv-debug") << "NodeConverter::convert: " << n << std::endl; NodeManager* nm = NodeManager::currentNM(); std::unordered_map<Node, Node>::iterator it; |