Get rid of dump_value__() wrappers.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 16:35:10 +0000 (08:35 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 16:35:10 +0000 (08:35 -0800)
commite328b23bc9273fe6edbbc97b933ef45dc995f6a6
tree48651d6e8c9bb9af81eb5941bd93c78c2a0510a1
parent1df52f93b968e70b429404e09582c2804b0bff8d
Get rid of dump_value__() wrappers.
dump.c