Skip to content

Commit

Permalink
cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
kenarab committed May 20, 2024
1 parent 18a0bdb commit 22016ae
Showing 1 changed file with 7 additions and 10 deletions.
17 changes: 7 additions & 10 deletions crates/concrete_check/src/linearity_check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -379,8 +379,7 @@ impl LinearityChecker {
}
Statement::Match(_) => {
todo!("do not support match statement")
}
//_ => Appearances::zero(),
} //_ => Appearances::zero(),
}
}

Expand Down Expand Up @@ -491,8 +490,7 @@ impl LinearityChecker {
| Expression::Cast(expr, _, _) => {
// Deref, AsRef, and Cast are handled by just checking the inner expression
self.count_in_expression(name, expr)
}
// Add more cases as necessary based on the Expression types you expect
} // Add more cases as necessary based on the Expression types you expect
}
}

Expand Down Expand Up @@ -925,12 +923,11 @@ pub fn linearity_check_program(
"Skipping linearity check for module content: {:?}",
module_content
);
}
/*_ =>
{
println!("Skipping linearity check for module content: {:?}", module_content);
()
},*/
} /*_ =>
{
println!("Skipping linearity check for module content: {:?}", module_content);
()
},*/
}
}
}
Expand Down

0 comments on commit 22016ae

Please sign in to comment.