diff options
Diffstat (limited to 'src/algebra/rule.spad.pamphlet')
| -rw-r--r-- | src/algebra/rule.spad.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/rule.spad.pamphlet b/src/algebra/rule.spad.pamphlet index 98e0ee8d..6b089035 100644 --- a/src/algebra/rule.spad.pamphlet +++ b/src/algebra/rule.spad.pamphlet @@ -242,6 +242,7 @@ ApplyRules(Base, R, F): Exports == Implementation where isit(subject, pat) == hasTopPredicate? pat => + l : List P for v in (l := variables pat) repeat resetBadValues v isitwithpred(subject, pat, l, empty()) patternMatch(subject, pat, new()$PR) |