Remove `$anyconst` cells before specialization to eliminate warnings and the need...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 7 Apr 2020 03:29:54 +0000 (03:29 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 7 Apr 2020 03:29:54 +0000 (03:29 +0000)
commit194354e1280b082c2d4066839010b9d250386bb7
tree1ca31fd2315f2b5a61c2473f32c93364c506c3ff
parent5fedd0931c6e749483b8ddb3d7672ddca9ac5310
Remove `$anyconst` cells before specialization to eliminate warnings and the need to run `opt_clean`.
passes/sat/qbfsat.cc