more std::move fixes

This commit is contained in:
Konstantinos Margaritis
2023-10-03 21:01:51 +03:00
parent 2ca841e9a5
commit 547961ab0a
4 changed files with 14 additions and 14 deletions

View File

@@ -1079,7 +1079,7 @@ shared_ptr<BaseDB> UltimateTruth::compile(const set<unsigned> &ids,
}
}
return move(db);
return std::move(db);
}
bool UltimateTruth::allocScratch(shared_ptr<const BaseDB> db) {