diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:43:53 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:43:53 +0800 |
| commit | 081e3d2ed8d3f9b4e4d6fd864283a4230e09b25a (patch) | |
| tree | 3bc77a546c83f010e9ab4b439d492b15ee9bfd9d /chain/src/archive.txt | |
| parent | 5bb59bb5b944c380f762858e1662a2a17f41677c (diff) | |
chain/default: Remove the annoying node whenever plausible.
The chain-rule machine needs a place-holder node at the beginning.
But afterwards that node is pure annoyance and disturbs the
functioning of the machine. Consequently I removed that node whenever
the right time comes.
This seems to fix some other bugs. It is reasonable: the presence of
that bogus node is just noise to the machine and error-prone.
Diffstat (limited to 'chain/src/archive.txt')
0 files changed, 0 insertions, 0 deletions