[NFC][polly] Removed dead code
authorGuillaume Chatelet <gchatelet@google.com>
Mon, 13 Jun 2022 07:50:35 +0000 (07:50 +0000)
committerGuillaume Chatelet <gchatelet@google.com>
Mon, 13 Jun 2022 07:50:35 +0000 (07:50 +0000)
commit6e930503f4585a3e708b03fe96df68e4fddba3e4
tree206e053545e8adcee80dfb896800a76df60dcc30
parent8f6512fea000c3a0d394864bb94e524bee375069
[NFC][polly] Removed dead code
polly/include/polly/Support/ScopHelper.h