diff options
Diffstat (limited to 'src/interp/nruncomp.boot')
| -rw-r--r-- | src/interp/nruncomp.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 7a53fe1e..c8c692a2 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -534,7 +534,7 @@ setVector4Part1(db,siglist,formlist,condlist,e) == reducedConlist := [[x,:y] for [x,z] in $condList| y := SETDIFFERENCE(z,reducedUncondlist)] revCondlist := reverseCondlist reducedConlist - orCondlist := [[x,:MKPF(y,'OR)] for [x,:y] in revCondlist] + orCondlist := [[x,:mkpf(y,'OR)] for [x,:y] in revCondlist] [reducedUncondlist,:orCondlist] reverseCondlist cl == |