Skip to content

Re-implement passing identifier back to Ltac1

Tej Chajed requested to merge tchajed/simplify-passing-identifier into master

This implementation avoids use of Unsafe, so it is compatible with v8.11 and forward, and also has the benefit of being simpler.

Merge request reports