diff options
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index eb7c5da8..a63a4824 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -354,7 +354,7 @@ CatEval x == e := $InteractiveMode => $CategoryFrame $e - (compMakeCategoryObject(x,e)).expr + compMakeCategoryObject(x,e).expr --RemovePrinAncs(l,leaves) == -- l=nil => nil @@ -433,7 +433,6 @@ JoinInner(l,$e) == [[$NewCatVec.0],:FundamentalAncestors] --principal ancestor . all those already included copied:= nil - originalVector:= true -- we can not decide to extend the vector in multiple ways -- this flag helps us detect this case originalVector := false |