Add #include needed to build with gcc-11
authorGabriel Somlo <gsomlo@gmail.com>
Wed, 25 Nov 2020 13:46:26 +0000 (08:46 -0500)
committerGabriel Somlo <gsomlo@gmail.com>
Thu, 26 Nov 2020 11:12:12 +0000 (06:12 -0500)
commit150b729b6f1c06b94a5f1189289c8e094cda2f6e
tree6d38cfc6b48c581c2b0e99d56c6d2d2df61db796
parent2116c585810cddb73777b46ea9aad0d6d511d82b
Add #include needed to build with gcc-11

Suggested by Jeff Law <law@redhat.com>
passes/sat/freduce.cc