chore: adaptations for nightly-2024-07-18

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

232 stars 95 forks source link

Closed semorrison closed 1 month ago

semorrison commented 1 month ago

Note that #check_simp was upstreamed long ago, but a duplicate copy had survived in Batteries. It finally broke, so I am deleting it now.

semorrison commented 1 month ago

Sigh, a later adaptation PR got merged first. Oh well.