Code review changes
This commit is contained in:
parent
9698a34b7e
commit
e7b301d2e9
|
@ -397,7 +397,7 @@ class PredicateFactory {
|
||||||
}
|
}
|
||||||
|
|
||||||
Predicate* MakeAndRecurrencePredicate(Predicate* start, Predicate* step,
|
Predicate* MakeAndRecurrencePredicate(Predicate* start, Predicate* step,
|
||||||
std::vector<string> &frame) {
|
std::vector<string> frame) {
|
||||||
SignatureForAndRec signature(start, step, std::move(frame));
|
SignatureForAndRec signature(start, step, std::move(frame));
|
||||||
auto it = interned_and_rec_instances_.find(signature);
|
auto it = interned_and_rec_instances_.find(signature);
|
||||||
if (it != interned_and_rec_instances_.end()) {
|
if (it != interned_and_rec_instances_.end()) {
|
||||||
|
|
Loading…
Reference in New Issue