Remove some redundant allocations

This commit is contained in:
Jeremy Kolb 2020-12-12 12:27:09 -05:00
parent 479d1f7eec
commit 26a1675764
10 changed files with 9 additions and 10 deletions

View file

@ -30,7 +30,7 @@ impl DnfExpr {
pub fn new(expr: CfgExpr) -> Self {
let builder = Builder { expr: DnfExpr { conjunctions: Vec::new() } };
builder.lower(expr.clone())
builder.lower(expr)
}
/// Computes a list of present or absent atoms in `opts` that cause this expression to evaluate