Make dump_title_value() closer to dump_value().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:08:05 +0000 (21:08 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:08:05 +0000 (21:08 -0800)
commit35d486d1a1ca5dd788b188355fd5e090bed785b3
tree3dd3163f97d07708e414667b7766b85ee031659b
parent52157fbcfa86376df02b63034495ef56f3c4a1ff
Make dump_title_value() closer to dump_value().
dump.c