Fix bug 795 858, printing "(null)" instead of empty string ""

This commit is contained in:
Craig Earls 2013-02-02 09:44:31 -07:00
parent cf76c25599
commit 01b8416f24

View file

@ -1847,7 +1847,7 @@ void value_t::print(std::ostream& _out,
switch (type()) {
case VOID:
out << "(null)";
out << "";
break;
case BOOLEAN: