diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-08-09 11:42:03 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-08-09 11:42:03 +0800 |
| commit | f14c8a2aeab18a9bfa380df28f94736580e08f48 (patch) | |
| tree | 352cdff6872c9c48575c7dfcfd02a5924a8d2ad9 /repcore/src/grammar.rs | |
| parent | f4f8b84a3a95bea42c118d14697076c2de52c8bb (diff) | |
Fix a bug of using incorrect forest nodes to plant.
Previously some incorrect forest nodes will be used for planting new
nodes. I cannot fix the root cause of their presence in the
chain-rule machine. But I can ignore them when they are encountered.
Of course I would like to really prevent them from existing, but still
cannot figure out how.
Diffstat (limited to 'repcore/src/grammar.rs')
0 files changed, 0 insertions, 0 deletions