Skip to content
Snippets Groups Projects

Re-implement passing identifier back to Ltac1

Merged 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

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading