Factor out substitution logic. Regularize.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 06:47:24 +0000 (22:47 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 06:47:24 +0000 (22:47 -0800)
commit9f11a65bf50d984fc435f29095a35833a58d17b3
treeff7d33f0f733cadec32f43a08bb8370805dc0382
parenta912c9228d42bef16b98e6ddd34b8bb914dbebd7
Factor out substitution logic.  Regularize.
dump.c