diff options
Diffstat (limited to 'src/algebra/pattern.spad.pamphlet')
| -rw-r--r-- | src/algebra/pattern.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index ec7878f4..fd008b3e 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -221,7 +221,7 @@ Pattern(R:SetCategory): Exports == Implementation where p1 = p2 == (p1.cons? = p2.cons?) and (p1.lev = p2.lev) and (p1.topvar = p2.topvar) and - ((EQ(p1.toppred, p2.toppred)$Lisp) pretend B) and + ((%peq(p1.toppred,p2.toppred)$Foreign(Builtin)) pretend B) and pateq?(p1.pat, p2.pat) isPower p == |