|
61 | 61 | #include "modules.h" |
62 | 62 | #include "plist.h" |
63 | 63 |
|
64 | | -static void UnmarkTree(Obj z); |
| 64 | +static void UnmarkTree(Obj tree); |
65 | 65 | static UInt Mark(Obj tree, Obj reftree, Int indexx); |
66 | 66 | static Int AlmostEqual(Obj tree1, Int index1, Obj tree2, Int index2); |
67 | 67 | static Int Equal(Obj tree1, Int index1, Obj tree2, Int index2); |
@@ -726,16 +726,15 @@ static Int Leftof(Obj tree1, Int index1, Obj tree2, Int index2) |
726 | 726 | */ |
727 | 727 | static Int Leftof2(Obj tree1, Int index1, Obj tree2, Int index2) |
728 | 728 | { |
729 | | - if ( DT_GEN(tree2, index2) < DT_GEN(tree1, DT_RIGHT(tree1, index1) ) ) |
730 | | - return 0; |
731 | | - else if (Equal(tree1, DT_RIGHT(tree1, index1), tree2, index2 ) ) |
732 | | - return 0; |
733 | | - else if (DT_GEN(tree2, index2) == DT_GEN(tree1, DT_RIGHT(tree1, index1)) ) |
734 | | - return Leftof(tree1, DT_RIGHT(tree1, index1), tree2, index2 ); |
735 | | - else if (Equal(tree1, DT_LEFT(tree1, index1), tree2, index2) ) |
736 | | - return 0; |
737 | | - else |
738 | | - return Leftof(tree1, DT_LEFT(tree1, index1), tree2, index2); |
| 729 | + if (DT_GEN(tree2, index2) < DT_GEN(tree1, DT_RIGHT(tree1, index1))) |
| 730 | + return 0; |
| 731 | + if (Equal(tree1, DT_RIGHT(tree1, index1), tree2, index2)) |
| 732 | + return 0; |
| 733 | + if (DT_GEN(tree2, index2) == DT_GEN(tree1, DT_RIGHT(tree1, index1))) |
| 734 | + return Leftof(tree1, DT_RIGHT(tree1, index1), tree2, index2); |
| 735 | + if (Equal(tree1, DT_LEFT(tree1, index1), tree2, index2)) |
| 736 | + return 0; |
| 737 | + return Leftof(tree1, DT_LEFT(tree1, index1), tree2, index2); |
739 | 738 | } |
740 | 739 |
|
741 | 740 |
|
|
0 commit comments