Print <POINTER> if value_t::is_pointer()

This commit is contained in:
John Wiegley 2009-02-16 01:11:31 -04:00
parent 6ccc466a08
commit f8681e482e

View file

@ -1314,6 +1314,10 @@ void value_t::print(std::ostream& out,
as_balance().print(out, first_width, latter_width);
break;
case POINTER:
out << "<POINTER>";
break;
default:
throw_(value_error, "Cannot print " << label());
}