fix(alloc): use LEAN_OBJECT_SIZE_DELTA as alignment check - Githubissues

digama0 / lean-sys

Rust bindings for the Lean 4 proof assistant

Apache License 2.0

17 stars 5 forks source link

fix(alloc): use LEAN_OBJECT_SIZE_DELTA as alignment check #4

Closed SchrodingerZhu closed 1 year ago