fix to TNode assertion (which is too strict, given lax ordering requirements on static data initialization)---this should fix debug-staticbinary Mac builds, maybe others

1 files changed, 2 insertions, 1 deletions

diff --git a/src/expr/node.h b/src/expr/node.h
index a3b8853a0..42e9f4253 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -1022,7 +1022,8 @@ NodeTemplate<ref_count>::NodeTemplate(const expr::NodeValue* ev) :
   if(ref_count) {
     d_nv->inc();
   } else {
-    Assert(d_nv->d_rc > 0, "TNode constructed from NodeValue with rc == 0");
+    Assert(d_nv->d_rc > 0 || d_nv == &expr::NodeValue::s_null,
+           "TNode constructed from NodeValue with rc == 0");
   }
 }