Get rid of dump_substs().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 16:31:49 +0000 (08:31 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 16:31:49 +0000 (08:31 -0800)
commit1df52f93b968e70b429404e09582c2804b0bff8d
tree2018256498aed8b67c49fbb2a9b1a0d69c4a22d8
parent2cc609b8d02f7fe9f9d4eb32e5aca08dd59ee1cd
Get rid of dump_substs().
dump.c