diff options
Diffstat (limited to 'src/interp/simpbool.boot')
| -rw-r--r-- | src/interp/simpbool.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot index 4c2d2345..6c3295c1 100644 --- a/src/interp/simpbool.boot +++ b/src/interp/simpbool.boot @@ -193,7 +193,7 @@ ordIntersection(a,b) == ordIntersection(t,b) ordSetDiff(a,b) == b isnt [h,:t] => a - member(h,a) => ordSetDiff(delete(h,a),t) + member(h,a) => ordSetDiff(remove(a,h),t) ordSetDiff(a,t) ------------- testPredList u == |