diff options
Diffstat (limited to 'src/algebra/lmdict.spad.pamphlet')
-rw-r--r-- | src/algebra/lmdict.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/lmdict.spad.pamphlet b/src/algebra/lmdict.spad.pamphlet index cba196e2..f7b820f5 100644 --- a/src/algebra/lmdict.spad.pamphlet +++ b/src/algebra/lmdict.spad.pamphlet @@ -140,7 +140,7 @@ ListMultiDictionary(S:SetCategory): MultiDictionary(S) with a := copy s while not empty? a repeat x := inspect a - count(x, s) ^= count(x, t) => return false + count(x, s) ~= count(x, t) => return false remove_!(x, a) true |