dump: Rename dump_value__() to just dump_value().
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 12 Nov 2014 06:34:13 +0000 (22:34 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 12 Nov 2014 06:34:13 +0000 (22:34 -0800)
commitf9535e54cbdcdc1e376c0409e839ba3d95e7554d
treec77d7ae9bccaef91778ec269e9212a525b030829
parent1fae52d40322a80fe485e2f70eba05170cd091fd
dump: Rename dump_value__() to just dump_value().
dump.c