fix: account for lean4#3851

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

155 stars 25 forks source link

Closed kmill closed 2 months ago

kmill commented 2 months ago

The fields of Subarray are changing in the next Lean release.

The function Aesop.Subarray.popFront can be replaced by Subarray.popHead? in the meantime.

semorrison commented 2 months ago

I'll just remove popFront entirely.