Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix strict provenance use of pointers (#100)
This fixes a failure when testing in miri with strict provenance. I don't believe this would lead to miscompilations, but is a good improvement to have.
- Loading branch information