File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -653,7 +653,7 @@ static NormalForm makeCNF(const NormalizedConstraint &Normalized) {
653
653
if (Normalized.getCompoundKind () == NormalizedConstraint::CCK_Conjunction) {
654
654
LCNF.reserve (LCNF.size () + RCNF.size ());
655
655
while (!RCNF.empty ())
656
- LCNF.push_back (std::move ( RCNF.pop_back_val () ));
656
+ LCNF.push_back (RCNF.pop_back_val ());
657
657
return LCNF;
658
658
}
659
659
@@ -682,7 +682,7 @@ static NormalForm makeDNF(const NormalizedConstraint &Normalized) {
682
682
if (Normalized.getCompoundKind () == NormalizedConstraint::CCK_Disjunction) {
683
683
LDNF.reserve (LDNF.size () + RDNF.size ());
684
684
while (!RDNF.empty ())
685
- LDNF.push_back (std::move ( RDNF.pop_back_val () ));
685
+ LDNF.push_back (RDNF.pop_back_val ());
686
686
return LDNF;
687
687
}
688
688
You can’t perform that action at this time.
0 commit comments