LockData* findLock(FactManager& FM, const SExpr& M) const {
for (const_iterator I = begin(), E = end(); I != E; ++I) {
- const SExpr& Exp = FM[*I].MutID;
+ const SExpr &Exp = FM[*I].MutID;
if (Exp.matches(M))
return &FM[*I].LDat;
}
LockData* findLockUniv(FactManager& FM, const SExpr& M) const {
for (const_iterator I = begin(), E = end(); I != E; ++I) {
- const SExpr& Exp = FM[*I].MutID;
+ const SExpr &Exp = FM[*I].MutID;
if (Exp.matches(M) || Exp.isUniversal())
return &FM[*I].LDat;
}