parsley icon indicating copy to clipboard operation
parsley copied to clipboard

Published 20 hours ago • verified publisher icon j-mie6

[BUG] Merging entrenched errors at different depths drops entrenchment level

Open j-mie6 opened this issue 6 months ago • 0 comments

When two errors merged and one is entrenched and the other is not, merging will drop any entrenchment, losing the protection of the error. Instead merged errors need to take the max of the entrenchment level.

j-mie6 avatar Jan 30 '24 12:01 j-mie6