This commit is contained in:
Folkert 2020-10-24 21:23:55 +02:00
parent c2c0b30b8a
commit 2c55fa5ec5
2 changed files with 2 additions and 6 deletions

View file

@ -68,8 +68,6 @@ pub enum SolvedBool {
impl SolvedBool {
pub fn from_bool(boolean: &boolean_algebra::Bool, subs: &Subs) -> Self {
use boolean_algebra::Bool;
match boolean {
Bool::Shared => SolvedBool::SolvedShared,
Bool::Container(cvar, mvars) => {