diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 607e6e39..487f85e7 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -336,17 +336,17 @@ orderPredTran(oldList,sig,skip) == -- pp oldList --(3b) newList= list of ofCat/isDom entries that don't depend on - while oldList repeat + while oldList ~= nil repeat for x in oldList repeat if (x is ['ofCategory,v,body]) or (x is ['isDomain,v,body]) then - indepvl:=listOfPatternIds v - depvl:=listOfPatternIds body + indepvl := listOfPatternIds v + depvl := listOfPatternIds body else indepvl := listOfPatternIds x depvl := nil (INTERSECTIONQ(indepvl,dependList) = nil) => - dependList:= setDifference(dependList,depvl) - newList:= [:newList,x] + dependList := setDifference(dependList,depvl) + newList := [:newList,x] -- sayBrightlyNT "newList=" -- pp newList |