Merge pull request #1242 from jfng/fix-proc_prune-partial
authorwhitequark <whitequark@whitequark.org>
Sat, 3 Aug 2019 07:08:41 +0000 (07:08 +0000)
committerGitHub <noreply@github.com>
Sat, 3 Aug 2019 07:08:41 +0000 (07:08 +0000)
commit44a9dcbbbf47f1a6f524c6328ff775f29573a935
treeb425ec65d46b8a095ffb42b7db5b07dcb08c48be
parent0917a5cf720e76a85cd2fa4d8cd3cf9434bdee8f
parent320bf2fde55f72e7c0b35a0d9452e3777f13183d
Merge pull request #1242 from jfng/fix-proc_prune-partial

proc_prune: Promote partially redundant assignments.